Mon, 09 Sep 2013 15:22:04 +0200 | blanchet | use new monomorphizer in Sledgehammer | changeset | files |
Mon, 09 Sep 2013 14:23:04 +0200 | blanchet | tuning | changeset | files |
Mon, 09 Sep 2013 14:22:11 +0200 | blanchet | include map theorems in datastructure for "primcorec" | changeset | files |
Mon, 09 Sep 2013 13:47:58 +0200 | blanchet | enriched data structure with necessary theorems | changeset | files |
Sun, 08 Sep 2013 19:25:06 +0200 | wenzelm | updated exe -- more explicit icon; | changeset | files |
Sun, 08 Sep 2013 18:37:42 +0200 | wenzelm | more official lib/logo/isabelle.bmp; | changeset | files |