Thu, 11 Sep 1997 16:16:03 +0200 | wenzelm | removed print_goals_ref (which was broken anyway); | changeset | files |
Thu, 11 Sep 1997 12:24:28 +0200 | paulson | Split base cases from "msg" to "atomic" in order | changeset | files |
Thu, 11 Sep 1997 12:22:31 +0200 | paulson | Now uses the generic induct_tac | changeset | files |
Thu, 11 Sep 1997 12:21:34 +0200 | paulson | auto update | changeset | files |
Wed, 10 Sep 1997 14:18:12 +0200 | nipkow | Added Larry's test for preventing a datatype shadowing a theory. | changeset | files |
Tue, 09 Sep 1997 12:09:06 +0200 | nipkow | Example from HOLCF paper. | changeset | files |
Tue, 09 Sep 1997 12:08:28 +0200 | nipkow | Loads HoareEx now. | changeset | files |