| Wed, 17 Sep 2008 15:59:23 +0200 | krauss | wf_finite_psubset[simp], in_finite_psubset[simp] | changeset | files |
| Wed, 17 Sep 2008 15:21:30 +0200 | ballarin | Public interface to interpretation morphism. | changeset | files |
| Wed, 17 Sep 2008 11:42:25 +0200 | haftmann | moved term_of syntax to separate theory | changeset | files |
| Wed, 17 Sep 2008 10:00:16 +0200 | haftmann | removed obsolete theory | changeset | files |
| Wed, 17 Sep 2008 07:32:04 +0200 | haftmann | added quickcheck.ML | changeset | files |
| Tue, 16 Sep 2008 18:01:25 +0200 | wenzelm | tuned comments; | changeset | files |
| Tue, 16 Sep 2008 18:01:24 +0200 | wenzelm | multithreading for Poly/ML 5.1 is no longer supported; | changeset | files |
| Tue, 16 Sep 2008 17:28:37 +0200 | wenzelm | tuned; | changeset | files |