| Sat, 13 May 2006 02:51:30 +0200 | wenzelm | * Pure: overloaded definitions are now actually checked for acyclic dependencies; | changeset | files |
| Fri, 12 May 2006 18:11:09 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 12 May 2006 11:19:41 +0200 | nipkow | added lemma in_measure | changeset | files |
| Fri, 12 May 2006 10:38:00 +0200 | haftmann | fixed silly bug in function serializer for ML | changeset | files |