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 ***
nipkow [Wed, 25 May 2005 09:03:53 +0200] rev 16068
grammar
huffman [Wed, 25 May 2005 02:49:46 +0200] rev 16067
shorted proof that lift is chfin
quigley [Wed, 25 May 2005 01:47:11 +0200] rev 16066
Removed shell variables. Now uses isatool getenv -b SPASS_HOME.