| Thu, 24 May 2012 14:20:25 +0200 | kuncar | drop the feature that more than one quotient type can be defined by quotient_type -> it causes problems | changeset | files |
| Thu, 24 May 2012 14:20:23 +0200 | kuncar | prove reflexivity also for the quotient composition relation; reflp_preserve renamed to reflexivity_rule | changeset | files |
| Thu, 24 May 2012 15:01:29 +0200 | blanchet | gracefully handle definition-looking premises | changeset | files |
| Thu, 24 May 2012 15:33:45 +0200 | wenzelm | simplified Poly/ML setup -- 5.3.0 is now the common base-line; | changeset | files |