Tue, 17 Nov 1998 14:10:40 +0100 | wenzelm | removed trace; | changeset | files |
Tue, 17 Nov 1998 14:09:29 +0100 | wenzelm | Symbol.space; | changeset | files |
Tue, 17 Nov 1998 14:09:00 +0100 | wenzelm | space; | changeset | files |
Tue, 17 Nov 1998 14:08:46 +0100 | wenzelm | val spc: int -> T; | changeset | files |
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 |