Tue, 04 Jul 2006 21:22:51 +0200 | wenzelm | added props selector; | changeset | files |
Tue, 04 Jul 2006 21:22:50 +0200 | wenzelm | print_facts: all facts; | changeset | files |
Tue, 04 Jul 2006 19:49:59 +0200 | wenzelm | add_abbrevs/polymorphic: Variable.exportT_terms avoids over-generalization; | changeset | files |
Tue, 04 Jul 2006 19:49:58 +0200 | wenzelm | instantiate_tfrees: Thm.generalize; | changeset | files |
Tue, 04 Jul 2006 19:49:57 +0200 | wenzelm | removed parrot comment; | changeset | files |
Tue, 04 Jul 2006 19:49:56 +0200 | wenzelm | Proof by guessing. | changeset | files |