Sat, 29 Jan 2000 14:22:16 +0100 | wenzelm | simp_all method; | changeset | files |
Fri, 28 Jan 2000 21:58:39 +0100 | wenzelm | eliminated proof script; | changeset | files |
Fri, 28 Jan 2000 21:57:15 +0100 | wenzelm | HEADGOAL; | changeset | files |
Fri, 28 Jan 2000 21:56:55 +0100 | wenzelm | added prefer, defer; | changeset | files |
Fri, 28 Jan 2000 21:56:37 +0100 | wenzelm | added HEADGOAL; | changeset | files |
Fri, 28 Jan 2000 21:56:02 +0100 | wenzelm | added defer, prefer; | changeset | files |
Fri, 28 Jan 2000 21:55:43 +0100 | wenzelm | Drule.instantiate; | changeset | files |