| Thu, 28 Sep 2000 19:10:19 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 28 Sep 2000 19:07:09 +0200 | wenzelm | some preliminary stuff on conversion; | changeset | files |
| Thu, 28 Sep 2000 19:06:46 +0200 | wenzelm | fixed ref; | changeset | files |
| Thu, 28 Sep 2000 14:49:15 +0200 | wenzelm | record proof tools: t.equality; | changeset | files |
| Thu, 28 Sep 2000 14:48:05 +0200 | wenzelm | isabelle -C; | changeset | files |
| Thu, 28 Sep 2000 14:47:42 +0200 | wenzelm | www.proofgeneral.org; | changeset | files |