| Mon, 19 Jun 2006 20:21:30 +0200 | wenzelm | eliminated freeze/varify in favour of Variable.import/export/trade; | changeset | files |
| Mon, 19 Jun 2006 19:56:32 +0200 | webertj | world map updated | changeset | files |
| Mon, 19 Jun 2006 19:17:48 +0200 | webertj | world map updated | changeset | files |
| Mon, 19 Jun 2006 18:25:34 +0200 | krauss | Fixed name clash. | changeset | files |
| Mon, 19 Jun 2006 18:02:49 +0200 | webertj | world map updated | changeset | files |
| Mon, 19 Jun 2006 17:19:04 +0200 | wenzelm | matchers: try pattern_matchers only *after* general matching (The | changeset | files |
| Sat, 17 Jun 2006 19:38:01 +0200 | wenzelm | ProofContext.exports: simultaneous facts; | changeset | files |
| Sat, 17 Jun 2006 19:38:00 +0200 | wenzelm | moved internal/skolem to term.ML; | changeset | files |