isabelle: Changelog

wenzelm [Mon, 16 Nov 1998 10:45:52 +0100] rev 5874

renamed init_context to init; added read_termTs; added declare_thm;

wenzelm [Mon, 16 Nov 1998 10:44:55 +0100] rev 5873

structure PureIsar;

wenzelm [Mon, 16 Nov 1998 10:44:30 +0100] rev 5872

removed lift_modifier; removed fail; added tthms_of; added print_tthm; tuned rule;

wenzelm [Mon, 16 Nov 1998 10:42:40 +0100] rev 5871

Attribute.thms_of;

wenzelm [Mon, 16 Nov 1998 10:41:27 +0100] rev 5870

Scan.read;

wenzelm [Mon, 16 Nov 1998 10:41:08 +0100] rev 5869

added read;

wenzelm [Mon, 16 Nov 1998 10:40:23 +0100] rev 5868

tuned usage of read;

paulson [Mon, 16 Nov 1998 10:39:30 +0100] rev 5867

generalized JN_empty and added reachable_SKIP

paulson [Mon, 16 Nov 1998 10:37:54 +0100] rev 5866

removed the reference to mesontest2.ML, itself now deleted

paulson [Mon, 16 Nov 1998 10:36:30 +0100] rev 5865

moved some facts about Pi from ex/PiSets to Fun.ML

isabelle