| Thu, 18 Aug 2005 11:17:35 +0200 | wenzelm | updated; | changeset | files |
| Thu, 18 Aug 2005 11:17:34 +0200 | wenzelm | usedir: tuned option -V; | changeset | files |
| Thu, 18 Aug 2005 11:17:33 +0200 | wenzelm | usedir: removed option -H; | changeset | files |
| Thu, 18 Aug 2005 11:17:32 +0200 | wenzelm | * Proper output of proof terms within a proof context; | changeset | files |
| Wed, 17 Aug 2005 17:04:15 +0200 | ballarin | Improved generation of witnesses in interpretation. | changeset | files |
| Wed, 17 Aug 2005 17:03:20 +0200 | ballarin | Interpretation in locales. | changeset | files |
| Wed, 17 Aug 2005 17:02:16 +0200 | ballarin | Use interpretation in locales. | changeset | files |