Tue, 04 Aug 1998 18:21:20 +0200 | wenzelm | moved print_goals to locale.ML; | changeset | files |
Tue, 04 Aug 1998 18:21:03 +0200 | wenzelm | added locale.ML; | changeset | files |
Tue, 04 Aug 1998 17:06:27 +0200 | wenzelm | added icons; | changeset | files |
Tue, 04 Aug 1998 16:06:55 +0200 | paulson | Renamed equals0D to equals0E | changeset | files |
Tue, 04 Aug 1998 16:05:19 +0200 | paulson | Renamed equals0D to equals0E; tidied | changeset | files |
Tue, 04 Aug 1998 10:50:33 +0200 | paulson | Constant "invariant" and new constrains_tac, ensures_tac | changeset | files |
Tue, 04 Aug 1998 10:50:04 +0200 | paulson | Tidying | changeset | files |