isabelle: Changelog

lcp [Fri, 17 Jun 1994 17:47:42 +0200] rev 428

problem 38 is provable

nipkow [Fri, 17 Jun 1994 16:51:37 +0200] rev 427

ordered rewriting applies to conditional rules as well now

clasohm [Fri, 17 Jun 1994 12:43:24 +0200] rev 426

replaced "foldl merge_theories" by "merge_thy_list" in base_on

wenzelm [Thu, 16 Jun 1994 12:07:40 +0200] rev 425

added 'subclass' section; minor internal cleanups;

wenzelm [Thu, 16 Jun 1994 12:06:56 +0200] rev 424

base_on: added 'mk_draft' arg;

wenzelm [Thu, 16 Jun 1994 12:05:53 +0200] rev 423

(beta release)

wenzelm [Thu, 16 Jun 1994 12:04:33 +0200] rev 422

added ext_tsig_subclass, ext_tsig_defsort; minor internal rearrangements;

wenzelm [Thu, 16 Jun 1994 12:04:00 +0200] rev 421

added add_classrel;

wenzelm [Thu, 09 Jun 1994 11:11:03 +0200] rev 420

replaced extend_theory;

wenzelm [Thu, 09 Jun 1994 11:09:45 +0200] rev 419

added OldMixfix;

isabelle