isabelle: Changelog

wenzelm [Thu, 22 Apr 1999 13:03:46 +0200] rev 6480

tuned;

wenzelm [Thu, 22 Apr 1999 13:03:10 +0200] rev 6479

rep_datatype syntax: 'induction' instead of 'induct';

wenzelm [Thu, 22 Apr 1999 12:50:39 +0200] rev 6478

add_recdef: actual simpset; add_recdef_x: named simpset;

wenzelm [Thu, 22 Apr 1999 12:49:34 +0200] rev 6477

recdef adapted to RecdefPackage.add_recdef;

wenzelm [Thu, 22 Apr 1999 12:49:00 +0200] rev 6476

Theory.requires changed to "Recdef" and moved to HOL/Tools/recdef_package.ML; Sign.base_name fid;

mueller [Thu, 22 Apr 1999 12:47:13 +0200] rev 6475

added ex and Modelcheck

wenzelm [Thu, 22 Apr 1999 12:47:07 +0200] rev 6474

tuned;

mueller [Thu, 22 Apr 1999 12:42:14 +0200] rev 6473

added for mucke translation;

mueller [Thu, 22 Apr 1999 12:40:11 +0200] rev 6472

deleted some old examples in Modelcheck;

mueller [Thu, 22 Apr 1999 11:09:05 +0200] rev 6471

added translation from IOA to mucalculus and corresponding modelchecker examples;

isabelle