Tue, 02 Aug 2005 19:47:11 +0200 | wenzelm | tuned; | changeset | files |
Tue, 02 Aug 2005 16:52:21 +0200 | ballarin | First version of interpretation in locales. Not yet fully functional. | changeset | files |
Tue, 02 Aug 2005 16:50:55 +0200 | ballarin | Turned simp_implies into binary operator. | changeset | files |