kleing [Wed, 25 May 2005 11:18:02 +0200] rev 16077
more cleanup
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 ***
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.
quigley [Tue, 24 May 2005 16:12:52 +0200] rev 16065
Generic version of spassshell. Add SPASS_HOME to .bashrc so that shell script can find it.
haftmann [Tue, 24 May 2005 14:28:59 +0200] rev 16064
ML_idf antiquotation
paulson [Tue, 24 May 2005 11:19:50 +0200] rev 16063
oracle example converted to Isar