| Fri, 17 Jun 2005 18:33:30 +0200 | wenzelm | Table.fold; | changeset | files |
| Fri, 17 Jun 2005 18:33:29 +0200 | wenzelm | Symtab.fold; | changeset | files |
| Fri, 17 Jun 2005 18:33:28 +0200 | wenzelm | type theory, theory_ref, exception THEORY and related operations imported from Context; | changeset | files |