wenzelm [Thu, 28 Feb 2008 12:56:33 +0100] rev 26177
removed legacy ML bindings;
wenzelm [Thu, 28 Feb 2008 12:56:31 +0100] rev 26176
tuned syntax declaration;
wenzelm [Thu, 28 Feb 2008 12:56:30 +0100] rev 26175
wf_trancl: structured proof;
tuned proofs;
removed legacy ML bindings;
wenzelm [Thu, 28 Feb 2008 12:56:28 +0100] rev 26174
rtranclE, tranclE: tuned statement, added case_names;
wenzelm [Thu, 28 Feb 2008 00:11:28 +0100] rev 26173
renamed ListSpace to ListVector;
wenzelm [Thu, 28 Feb 2008 00:04:47 +0100] rev 26172
added HOL-Library;
wenzelm [Wed, 27 Feb 2008 21:46:13 +0100] rev 26171
more precise handling of "group" for termination;
haftmann [Wed, 27 Feb 2008 21:41:08 +0100] rev 26170
added theories for imperative HOL
haftmann [Wed, 27 Feb 2008 21:41:07 +0100] rev 26169
added theory for countable types
haftmann [Wed, 27 Feb 2008 21:41:06 +0100] rev 26168
added theory for reflected types