isabelle: Changelog

mueller [Tue, 10 Nov 1998 16:28:08 +0100] rev 5844

tiny changes;

mueller [Tue, 10 Nov 1998 16:27:04 +0100] rev 5843

changed to a link;

wenzelm [Mon, 09 Nov 1998 15:50:56 +0100] rev 5842

local simpset theory data; simp add / del attributes; smart_simp_tac and method;

wenzelm [Mon, 09 Nov 1998 15:49:38 +0100] rev 5841

local claset theory data; intro, elim, dest, del attributes; single_tac and method; fast, best etc. methods;

wenzelm [Mon, 09 Nov 1998 15:42:08 +0100] rev 5840

Object logic specific operations.

wenzelm [Mon, 09 Nov 1998 15:41:24 +0100] rev 5839

Isar setups;

wenzelm [Mon, 09 Nov 1998 15:40:26 +0100] rev 5838

added metacuts_tac;

wenzelm [Mon, 09 Nov 1998 15:40:05 +0100] rev 5837

removed local_theory;

wenzelm [Mon, 09 Nov 1998 15:39:31 +0100] rev 5836

exnMessage Interrupt;

wenzelm [Mon, 09 Nov 1998 15:38:58 +0100] rev 5835

added lift_modifier, rule;

isabelle