| Mon, 23 Jul 2007 14:06:11 +0200 | wenzelm | added compatibility file for ML systems without multithreading; | changeset | files |
| Mon, 23 Jul 2007 13:50:31 +0200 | ballarin | interpretation: unfolding of equations; | changeset | files |
| Mon, 23 Jul 2007 13:48:30 +0200 | ballarin | interpretation: equations are propositions not pairs of terms; | changeset | files |
| Mon, 23 Jul 2007 13:47:48 +0200 | ballarin | interpretation: unfolding of equations; | changeset | files |