wenzelm [Mon, 13 Mar 2000 13:16:43 +0100] rev 8427
tuned;
wenzelm [Mon, 13 Mar 2000 13:16:26 +0100] rev 8426
cases: preserve order;
nipkow [Mon, 13 Mar 2000 13:13:46 +0100] rev 8425
*** empty log message ***
nipkow [Mon, 13 Mar 2000 13:11:16 +0100] rev 8424
exhaust -> cases
nipkow [Mon, 13 Mar 2000 12:51:10 +0100] rev 8423
exhaust_tac -> cases_tac
paulson [Mon, 13 Mar 2000 12:42:41 +0100] rev 8422
renamed "f" to "le" and "mset" to "multiset"
paulson [Mon, 13 Mar 2000 12:42:05 +0100] rev 8421
fixed the goal statement of sorted_qsort
wenzelm [Mon, 13 Mar 2000 12:25:52 +0100] rev 8420
adapted to new PureThy.add_thms etc.;
wenzelm [Mon, 13 Mar 2000 12:25:16 +0100] rev 8419
add_thms, add_axioms, add_defs: return theorems as well;
wenzelm [Mon, 13 Mar 2000 12:23:44 +0100] rev 8418
added |>> and |>>>;
nipkow [Mon, 13 Mar 2000 09:08:27 +0100] rev 8417
exhaust->cases
berghofe [Fri, 10 Mar 2000 23:04:07 +0100] rev 8416
Type.typ_match now uses Vartab instead of association lists.
paulson [Fri, 10 Mar 2000 17:53:16 +0100] rev 8415
tidied
paulson [Fri, 10 Mar 2000 17:52:48 +0100] rev 8414
now uses recdef instead of "rules"
paulson [Fri, 10 Mar 2000 17:51:59 +0100] rev 8413
tidied, and new thm perm_append2_eq
nipkow [Fri, 10 Mar 2000 17:14:56 +0100] rev 8412
cases_tac
berghofe [Fri, 10 Mar 2000 15:03:05 +0100] rev 8411
Type.typ_match now uses Vartab instead of association lists.
berghofe [Fri, 10 Mar 2000 15:02:04 +0100] rev 8410
Type.unify now uses Vartab instead of association lists.
berghofe [Fri, 10 Mar 2000 15:00:32 +0100] rev 8409
Added function min_key.
berghofe [Fri, 10 Mar 2000 15:00:01 +0100] rev 8408
Added functions subst_TVars_Vartab and typ_subst_TVars_Vartab.
berghofe [Fri, 10 Mar 2000 14:58:25 +0100] rev 8407
Envir now uses Vartab instead of association lists.
berghofe [Fri, 10 Mar 2000 14:57:06 +0100] rev 8406
Type.unify and Type.typ_match now use Vartab instead of association lists.
wenzelm [Fri, 10 Mar 2000 01:16:19 +0100] rev 8405
add_cases_induct: produce proper case names;
wenzelm [Fri, 10 Mar 2000 01:13:37 +0100] rev 8404
type descr;
wenzelm [Thu, 09 Mar 2000 22:58:23 +0100] rev 8403
check_case: disallow (T)Vars in invoked case;
wenzelm [Thu, 09 Mar 2000 22:57:39 +0100] rev 8402
quote tag arguments;
wenzelm [Thu, 09 Mar 2000 22:57:13 +0100] rev 8401
more robust case names of induct;
wenzelm [Thu, 09 Mar 2000 22:56:40 +0100] rev 8400
cleaned comment;
paulson [Thu, 09 Mar 2000 18:27:18 +0100] rev 8399
nicely tarted up Mutil
wenzelm [Thu, 09 Mar 2000 17:27:54 +0100] rev 8398
renamed to rsync-isabelle;