| Fri, 17 Feb 2006 20:03:17 +0100 | wenzelm | global_qeds: transfer body context; | changeset | files |
| Fri, 17 Feb 2006 20:03:14 +0100 | wenzelm | add_const_constraint(_i): demand TFrees instead of TVars, optional type (i.e. may delete constraints); | changeset | files |
| Fri, 17 Feb 2006 20:03:10 +0100 | wenzelm | constrain: assert const declaration, optional type (i.e. may delete constraints); | changeset | files |
| Fri, 17 Feb 2006 17:00:33 +0100 | wenzelm | removed Import/lazy_scan.ML; | changeset | files |
| Fri, 17 Feb 2006 15:43:46 +0100 | paulson | hyperlinks in the PDF work now | changeset | files |
| Fri, 17 Feb 2006 15:03:26 +0100 | obua | replaced Symbol.explode by explode | changeset | files |