Wed, 02 Apr 1997 15:23:33 +0200 | paulson | New DEEPEN allows giving an upper bound for deepen_tac | changeset | files |
Wed, 02 Apr 1997 15:19:40 +0200 | paulson | Now builds blast_tac | changeset | files |
Wed, 02 Apr 1997 15:18:21 +0200 | paulson | Now loads blast.ML | changeset | files |
Wed, 02 Apr 1997 15:14:37 +0200 | paulson | ZF.thy is again usable | changeset | files |
Wed, 02 Apr 1997 11:59:02 +0200 | wenzelm | The isabelle-0 encoding table. | changeset | files |
Wed, 02 Apr 1997 11:33:14 +0200 | paulson | Made the error message more explicit | changeset | files |