Sat, 25 Jan 2014 19:07:07 +0100 | nipkow | added lemma | file | diff | annotate |
Tue, 13 Aug 2013 16:25:47 +0200 | wenzelm | standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find; | file | diff | annotate |
Fri, 05 Jul 2013 16:45:31 +0200 | nipkow | improved proof automation for numerals | file | diff | annotate |
Thu, 13 Jun 2013 14:35:05 +0200 | nipkow | simplified proofs | file | diff | annotate |
Fri, 07 Jun 2013 22:13:04 +0200 | nipkow | tuned | file | diff | annotate |
Mon, 03 Jun 2013 06:41:07 +0200 | nipkow | tuned proofs | file | diff | annotate |
Sat, 01 Jun 2013 12:02:41 +0200 | nipkow | tuned theory name | file | diff | annotate | base |