isabelle: Changelog

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

isabelle