| 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 |
| Tue, 04 Jul 2006 19:49:55 +0200 | wenzelm | guess: proper context for polymorphic parameters; | changeset | files |
| Tue, 04 Jul 2006 19:49:54 +0200 | wenzelm | polymorphic: always generalize wrt. used_types; | changeset | files |
| Tue, 04 Jul 2006 19:49:53 +0200 | wenzelm | varifyT: no longer pervasive; | changeset | files |
| Tue, 04 Jul 2006 19:49:52 +0200 | wenzelm | added generalize/instantiate_option; | changeset | files |