| Sat, 12 Jan 2002 16:38:42 +0100 | wenzelm | paramify_dummies: proper treatment of maxidx; | changeset | files |
| Sat, 12 Jan 2002 16:37:58 +0100 | wenzelm | renamed forall_elim_vars_safe to gen_all; | changeset | files |
| Fri, 11 Jan 2002 18:49:25 +0100 | wenzelm | Isabelle2002 (January 2002); | changeset | files |