isabelle: Changelog

kleing [Wed, 25 May 2005 11:14:59 +0200] rev 16076

tuned thm_style section

nipkow [Wed, 25 May 2005 10:51:42 +0200] rev 16075

added ? explanations

kleing [Wed, 25 May 2005 10:43:15 +0200] rev 16074

renamed search criterion 'rewrite' to 'simp'

paulson [Wed, 25 May 2005 10:33:07 +0200] rev 16073

SML/NJ compatibility

paulson [Wed, 25 May 2005 10:32:20 +0200] rev 16072

new environments for Proof General notes

kleing [Wed, 25 May 2005 10:18:09 +0200] rev 16071

removed obsolete findI, findE, findEs (and the functions they depended on in Isar/find_theorems)

wenzelm [Wed, 25 May 2005 09:44:34 +0200] rev 16070

removed LICENCE note -- everything is subject to Isabelle licence as stated in COPYRIGHT file;

nipkow [Wed, 25 May 2005 09:04:24 +0200] rev 16069

*** empty log message ***

isabelle