| 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 |
| Tue, 09 Sep 1997 11:15:32 +0200 | mueller | adm_tac extended | changeset | files |
| Tue, 09 Sep 1997 11:14:20 +0200 | mueller | moved extended adm_tac to new place | changeset | files |
| Mon, 08 Sep 1997 10:12:28 +0200 | paulson | added ".ML" extension in "use" command | changeset | files |
| Fri, 05 Sep 1997 12:24:13 +0200 | paulson | Renamed "evs" to "evs1", "evs2", etc. in protocol inductive definition | changeset | files |
| Thu, 04 Sep 1997 17:57:56 +0200 | paulson | set_of_list | changeset | files |