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 |