| 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 |