| Fri, 02 Apr 2004 17:28:16 +0200 | webertj | fixed dpll solver (now uses NNF) | changeset | files |
| Fri, 02 Apr 2004 17:26:00 +0200 | ballarin | - Experimental command for instantiation of locales in proof contexts: | changeset | files |
| Fri, 02 Apr 2004 17:06:15 +0200 | paulson | variable renamings and other cosmetic changes | changeset | files |