isabelle: Changelog

wenzelm [Thu, 22 Apr 1999 13:16:22 +0200] rev 6483

switch_theory: Context.pass;

wenzelm [Thu, 22 Apr 1999 13:04:50 +0200] rev 6482

recdef (TFL) now requires theory Recdef;

wenzelm [Thu, 22 Apr 1999 13:04:23 +0200] rev 6481

recdef requires theory Recdef;

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;

isabelle