| Wed, 24 May 2006 21:58:09 +0200 | wenzelm | wellformed: be less ambitious about structural containment; | changeset | files |
| Wed, 24 May 2006 21:58:07 +0200 | wenzelm | Pure: update on overloaded defs; | changeset | files |
| Wed, 24 May 2006 10:02:36 +0200 | berghofe | Extended strong induction rule with additional | changeset | files |
| Wed, 24 May 2006 01:47:25 +0200 | huffman | add theorem cfcomp_strict | changeset | files |