Sat, 04 Apr 1998 11:43:39 +0200 | wenzelm | removed simple; | changeset | files |
Sat, 04 Apr 1998 11:42:48 +0200 | wenzelm | added triv_goal, rev_triv_goal (for Isar); | changeset | files |
Sat, 04 Apr 1998 11:42:26 +0200 | wenzelm | added Goal_def; | changeset | files |