| Sat, 05 Jun 2004 13:05:37 +0200 | wenzelm | removed Pure/ML-Systems/mlworks.ML Pure/ML-Systems/polyml-3.x.ML Pure/ML-Systems/smlnj-0.93.ML; added ML-Systems/polyml-time-limit.ML; | changeset | files |
| Sat, 05 Jun 2004 13:05:25 +0200 | wenzelm | obsolete; | changeset | files |
| Fri, 04 Jun 2004 11:51:31 +0200 | berghofe | Tuned parse_att. | changeset | files |
| Wed, 02 Jun 2004 17:35:08 +0200 | paulson | new rules for simplifying quantifiers with Sigma | changeset | files |
| Tue, 01 Jun 2004 18:52:38 +0200 | aspinall | Add alternative syntax for attributes | changeset | files |
| Tue, 01 Jun 2004 18:51:55 +0200 | aspinall | Add panic function which exits Isabelle immediately. | changeset | files |
| Tue, 01 Jun 2004 15:02:05 +0200 | berghofe | Removed ~10000 hack in function idx that can lead to inconsistencies | changeset | files |