isabelle: Changelog

paulson [Fri, 23 Apr 1999 12:23:21 +0200] rev 6498

Now for recdefs that omit the WF relation; removed the separation between draft and theory modes

paulson [Fri, 23 Apr 1999 12:22:30 +0200] rev 6497

Now for recdefs that omit the WF relation

paulson [Fri, 23 Apr 1999 12:20:22 +0200] rev 6496

Addition of Auth/KerberosIV; renaming of rules.new.sml to rules.sml

wenzelm [Fri, 23 Apr 1999 11:51:38 +0200] rev 6495

chgrp isabelle;

wenzelm [Fri, 23 Apr 1999 11:50:35 +0200] rev 6494

detailed proofs;

wenzelm [Fri, 23 Apr 1999 11:50:17 +0200] rev 6493

tuned;

wenzelm [Fri, 23 Apr 1999 11:48:37 +0200] rev 6492

oops;

wenzelm [Thu, 22 Apr 1999 18:25:24 +0200] rev 6491

fixed IO;

wenzelm [Thu, 22 Apr 1999 18:25:07 +0200] rev 6490

improved load paths;

wenzelm [Thu, 22 Apr 1999 18:23:45 +0200] rev 6489

single method: include not_elim, imp_elim;

isabelle