Fri, 10 Mar 2000 14:57:06 +0100 | berghofe | Type.unify and Type.typ_match now use Vartab instead of association lists. | changeset | files |
Fri, 10 Mar 2000 01:16:19 +0100 | wenzelm | add_cases_induct: produce proper case names; | changeset | files |
Fri, 10 Mar 2000 01:13:37 +0100 | wenzelm | type descr; | changeset | files |
Thu, 09 Mar 2000 22:58:23 +0100 | wenzelm | check_case: disallow (T)Vars in invoked case; | changeset | files |
Thu, 09 Mar 2000 22:57:39 +0100 | wenzelm | quote tag arguments; | changeset | files |
Thu, 09 Mar 2000 22:57:13 +0100 | wenzelm | more robust case names of induct; | changeset | files |