| Thu, 25 Feb 2010 12:15:11 +0100 | Cezary Kaliszyk | Code for proving eqvt, still in Terms. | changeset | files |
| Thu, 25 Feb 2010 09:41:14 +0100 | Cezary Kaliszyk | Use eqvt infrastructure. | changeset | files |
| Thu, 25 Feb 2010 09:22:29 +0100 | Cezary Kaliszyk | Simple function eqvt code. | changeset | files |
| Thu, 25 Feb 2010 08:40:52 +0100 | Christian Urban | added IsaMakefile...but so far included only a test for the parser | changeset | files |
| Thu, 25 Feb 2010 07:57:17 +0100 | Christian Urban | moved Quot package to Attic (still compiles there with "isabelle make") | changeset | files |
| Thu, 25 Feb 2010 07:48:57 +0100 | Christian Urban | merged | changeset | files |
| Thu, 25 Feb 2010 07:48:33 +0100 | Christian Urban | moved Nominal to "toplevel" | changeset | files |