| Mon, 23 Jul 2007 14:06:14 +0200 | wenzelm | hide internal structures (again); | changeset | files |
| Mon, 23 Jul 2007 14:06:12 +0200 | wenzelm | marked some CRITICAL sections (for multithreading); | changeset | files |
| 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 |