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 |
Wed, 24 May 2006 01:05:02 +0200 | wenzelm | added add_deps, which actually records dependencies of consts (unlike add_finals); | changeset | files |