| Fri, 13 Apr 2007 20:23:18 +0200 | wenzelm | eval_antiquotes: proper parentheses for projection; | changeset | files |
| Fri, 13 Apr 2007 16:40:16 +0200 | haftmann | canonical merge operations | changeset | files |
| Fri, 13 Apr 2007 15:43:25 +0200 | berghofe | Removed erroneous application of rev in get_clauses that caused | changeset | files |
| Fri, 13 Apr 2007 12:30:47 +0200 | krauss | more robust proof | changeset | files |
| Fri, 13 Apr 2007 10:02:30 +0200 | ballarin | Experimental code for the interpretation of definitions. | changeset | files |
| Fri, 13 Apr 2007 10:01:43 +0200 | ballarin | Experimental interpretation code for definitions. | changeset | files |
| Fri, 13 Apr 2007 10:00:04 +0200 | ballarin | New file for locale regression tests. | changeset | files |
| Fri, 13 Apr 2007 09:23:35 +0200 | narboux | debug versions of finite_guess and fresh_guess do not fail if they can not solve the goal | changeset | files |