wenzelm [Tue, 12 Feb 2013 14:27:14 +0100] rev 52223
Added tag Isabelle2013 for changeset d90218288d51
nipkow [Wed, 13 Feb 2013 11:28:44 +0100] rev 52222
tuned state display
nipkow [Wed, 13 Feb 2013 09:04:47 +0100] rev 52221
tuned names
nipkow [Tue, 12 Feb 2013 21:35:40 +0100] rev 52220
tuned
nipkow [Tue, 12 Feb 2013 12:22:44 +0100] rev 52219
tuned identifier
nipkow [Tue, 12 Feb 2013 11:54:29 +0100] rev 52218
tuned top
webertj [Mon, 11 Feb 2013 11:38:16 +0100] rev 52217
Typo in description of abs_def.
blanchet [Fri, 08 Feb 2013 16:41:04 +0100] rev 52216
distinguish one more kind of proofs
blanchet [Fri, 08 Feb 2013 15:38:33 +0100] rev 52215
added markers in proofs identifying origin of proofs, in eval driver
blanchet [Fri, 08 Feb 2013 12:22:37 +0100] rev 52214
added option to use SNoW as machine learning algo