| 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 |
| Fri, 12 May 2006 04:20:02 +0200 | huffman | add new finite chain theorems | changeset | files |
| Fri, 12 May 2006 01:01:08 +0200 | wenzelm | improved propagate_deps; | changeset | files |
| Thu, 11 May 2006 21:46:17 +0200 | wenzelm | check result against certified prop, i.e. admit non-normal statements; | changeset | files |