Mon, 19 Apr 2010 09:25:43 +0200 | Cezary Kaliszyk | minor FSet3 edits. | changeset | files |
Sun, 18 Apr 2010 18:01:22 +0200 | Christian Urban | tuned | changeset | files |
Sun, 18 Apr 2010 17:58:45 +0200 | Christian Urban | moved some general function into nominal_library.ML | changeset | files |