Tue, 01 Oct 2013 14:05:25 +0200 | blanchet | renamed theory file | changeset | files |
Tue, 01 Oct 2013 12:53:24 +0200 | wenzelm | tuned signature -- facilitate experimentation with other processes; | changeset | files |
Mon, 30 Sep 2013 22:01:46 +0900 | Christian Sternagel | preserve types during rewriting | changeset | files |
Mon, 30 Sep 2013 22:36:43 +0200 | blanchet | made SML/NJ happy | changeset | files |
Mon, 30 Sep 2013 18:08:35 +0200 | blanchet | made SML/NJ happy | changeset | files |
Mon, 30 Sep 2013 17:53:44 +0200 | blanchet | made SML/NJ happier | changeset | files |