| 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 |
| Tue, 15 Apr 2008 16:11:58 +0200 | wenzelm | overloading perm: use big_name; | changeset | files |
| Tue, 15 Apr 2008 16:11:52 +0200 | wenzelm | * Name space merge now observes canonical order; | changeset | files |
| Mon, 14 Apr 2008 22:29:56 +0200 | wenzelm | removed redundant hd_append variant; | changeset | files |
| Mon, 14 Apr 2008 21:44:53 +0200 | wenzelm | removed duplicate lemmas; | changeset | files |