Free cookie consent management tool by TermsFeed Policy Generator

Changeset 5460

Timestamp:
02/15/11 09:14:08 (15 years ago)
Author:
gkronber
Message:

#1227 Added test method for simplifier axioms.

(No files)

Note: See TracChangeset for help on using the changeset viewer.