| 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 |
| Sat, 17 Jun 2006 19:37:59 +0200 | wenzelm | mutual_rule: proper context; | changeset | files |
| Sat, 17 Jun 2006 19:37:58 +0200 | wenzelm | export: simultaneous facts, refer to Variable.export; | changeset | files |
| Sat, 17 Jun 2006 19:37:57 +0200 | wenzelm | ProofContext.exports: simultaneous facts; | changeset | files |
| Sat, 17 Jun 2006 19:37:55 +0200 | wenzelm | Variable.importT_inst; | changeset | files |