| Tue, 20 Aug 2013 23:20:30 +0200 | wenzelm | more careful parsing of nested argument tokens -- avoid Parse.RESET_VALUE on still uninterpreted material; | changeset | files |
| Tue, 20 Aug 2013 21:17:39 +0200 | wenzelm | proper exhaustive match (cf. e9beabf045ab); | changeset | files |
| Tue, 20 Aug 2013 20:29:38 +0200 | wenzelm | proper context; | changeset | files |
| Tue, 20 Aug 2013 22:24:02 +0200 | krauss | merged | changeset | files |
| Tue, 20 Aug 2013 11:39:53 +0200 | krauss | renamed theory Mrec to Legacy_Mrec, no longer included by default | changeset | files |
| Tue, 20 Aug 2013 11:21:49 +0200 | krauss | replaced use of obsolete MREC by partial_function (heap) | changeset | files |
| Sat, 17 Aug 2013 14:44:48 +0900 | Christian Sternagel | more document antiquotations (for proper theorem names); | changeset | files |