2012-05-24 | kuncar | merged | changeset | files |
2012-05-24 | kuncar | drop the feature that more than one quotient type can be defined by quotient_type -> it causes problems | changeset | files |
2012-05-24 | kuncar | prove reflexivity also for the quotient composition relation; reflp_preserve renamed to reflexivity_rule | changeset | files |
2012-05-24 | blanchet | gracefully handle definition-looking premises | changeset | files |
2012-05-24 | wenzelm | simplified Poly/ML setup -- 5.3.0 is now the common base-line; | changeset | files |
2012-05-24 | wenzelm | discontinued support for Poly/ML 5.2.1; | changeset | files |
Loading... |