isabelle: Changelog

wenzelm [Fri, 23 Apr 1999 16:38:22 +0200] rev 6502

improved 'single' method; added 'contradiction' method;

wenzelm [Fri, 23 Apr 1999 16:33:23 +0200] rev 6501

added thus, hence;

wenzelm [Fri, 23 Apr 1999 16:33:03 +0200] rev 6500

added FINISHED, same_tac;

wenzelm [Fri, 23 Apr 1999 16:31:12 +0200] rev 6499

use /usr/share and /usr/bin;

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;

isabelle