Thu, 08 May 1997 12:22:01 +0200 | paulson | New proofs about WHILE and VALOF | changeset | files |
Thu, 08 May 1997 11:44:59 +0200 | nipkow | Modified def of Least, which, as Markus correctly complained, looked like | changeset | files |
Thu, 08 May 1997 10:20:37 +0200 | paulson | Made a slow proof slightly faster | changeset | files |
Thu, 08 May 1997 10:19:52 +0200 | paulson | Changed from fast_tac to blast_tac | changeset | files |
Wed, 07 May 1997 18:39:04 +0200 | wenzelm | misc minor improvements; | changeset | files |
Wed, 07 May 1997 18:37:33 +0200 | wenzelm | tuned; | changeset | files |