Wed, 22 Nov 2000 21:47:04 +0100 | wenzelm | tuned; | changeset | files |
Wed, 22 Nov 2000 21:41:39 +0100 | wenzelm | tuned; | changeset | files |
Wed, 22 Nov 2000 21:38:26 +0100 | wenzelm | *** empty log message *** | changeset | files |
Wed, 22 Nov 2000 13:16:55 +0100 | nipkow | *** empty log message *** | changeset | files |
Tue, 21 Nov 2000 19:04:59 +0100 | wenzelm | tag result with name reference to final binding (basically just a comment); | changeset | files |
Tue, 21 Nov 2000 19:04:03 +0100 | wenzelm | Tactic.distinct_subgoals_tac moved to internal intro_classes_tac; | changeset | files |