| Fri, 14 Jun 2002 23:25:36 +0200 | kleing | wt_method now checks bounded+types ==> wt_kildall <=> wt_method | changeset | files |
| Fri, 14 Jun 2002 13:24:32 +0200 | wenzelm | IsarTut; | changeset | files |
| Fri, 14 Jun 2002 11:57:04 +0200 | paulson | better proof of ord_iso_restrict_pred | changeset | files |
| Thu, 13 Jun 2002 17:22:10 +0200 | wenzelm | BUG FIX in inst_thm: use current context instead of that of thm!!! | changeset | files |