Tue, 17 Nov 1998 14:08:12 +0100 | wenzelm | added default_name; | changeset | files |
Tue, 17 Nov 1998 14:07:25 +0100 | wenzelm | Drule.rev_triv_goal; | changeset | files |
Tue, 17 Nov 1998 14:07:04 +0100 | wenzelm | Theory.apply replaced by Library.apply; | changeset | files |