| 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 |