isabelle: Changelog

paulson [Tue, 20 Apr 1999 14:34:47 +0200] rev 6453

should not refer to Datatype

paulson [Tue, 20 Apr 1999 14:33:48 +0200] rev 6452

addition of Kerberos IV example

paulson [Tue, 20 Apr 1999 14:32:48 +0200] rev 6451

tidied

wenzelm [Mon, 19 Apr 1999 17:53:38 +0200] rev 6450

improved usage;

wenzelm [Fri, 16 Apr 1999 18:52:03 +0200] rev 6449

loadpath replaced;

wenzelm [Fri, 16 Apr 1999 17:48:46 +0200] rev 6448

and_list;

wenzelm [Fri, 16 Apr 1999 17:48:31 +0200] rev 6447

lifted enum; removed list(1); added and_list(1);

wenzelm [Fri, 16 Apr 1999 17:47:06 +0200] rev 6446

may specify induction predicates as well;

wenzelm [Fri, 16 Apr 1999 17:46:02 +0200] rev 6445

added Isar_examples;

wenzelm [Fri, 16 Apr 1999 17:44:29 +0200] rev 6444

Miscellaneous Isabelle/Isar examples for Higher-Order Logic.

isabelle