| 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 |
| Thu, 11 May 2006 19:19:33 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 11 May 2006 19:19:31 +0200 | wenzelm | avoid raw equality on type thm; | changeset | files |