Mon, 07 Dec 2009 17:57:33 +0100 | Christian Urban | first attempt to deal with Babs in regularise and cleaning (not yet working) | changeset | files |
Mon, 07 Dec 2009 15:21:51 +0100 | Christian Urban | isabelle make tests all examples | changeset | files |
Mon, 07 Dec 2009 15:18:44 +0100 | Cezary Kaliszyk | merge | changeset | files |