| Tue, 15 Apr 2008 16:12:18 +0200 | wenzelm | removed eval_antiquotes_fn; | changeset | files |
| Tue, 15 Apr 2008 16:12:16 +0200 | wenzelm | merge: canonical order; | changeset | files |
| Tue, 15 Apr 2008 16:12:15 +0200 | wenzelm | Library.is_equal; | changeset | files |
| Tue, 15 Apr 2008 16:12:13 +0200 | wenzelm | moved forall_elim_var(s) to more_thm.ML; | changeset | files |
| Tue, 15 Apr 2008 16:12:11 +0200 | wenzelm | disallow duplicate entries (weak version for merge); | changeset | files |
| Tue, 15 Apr 2008 16:12:05 +0200 | wenzelm | Thm.forall_elim_var(s); | changeset | files |
| Tue, 15 Apr 2008 16:12:01 +0200 | wenzelm | proper dynamic facts for eqvts, freshs, bijs; | changeset | files |