| Wed, 02 Oct 2013 15:13:41 +0200 | traytel | made SML/NJ happy | file | diff | annotate |
| Tue, 01 Oct 2013 17:04:27 +0200 | traytel | improved backwards compatiblity of primrec_new (Isabelle/ML interface, attributes, etc.) | file | diff | annotate |
| Mon, 30 Sep 2013 22:36:43 +0200 | blanchet | made SML/NJ happy | file | diff | annotate |
| Mon, 30 Sep 2013 18:08:35 +0200 | blanchet | made SML/NJ happy | file | diff | annotate |
| Mon, 30 Sep 2013 17:53:44 +0200 | blanchet | made SML/NJ happier | file | diff | annotate |
| Thu, 26 Sep 2013 16:25:12 +0200 | blanchet | tuning | file | diff | annotate |
| Thu, 26 Sep 2013 16:10:57 +0200 | blanchet | tuning | file | diff | annotate |
| Thu, 26 Sep 2013 13:51:08 +0200 | blanchet | use new "sel_split(_asm)" to avoid giving rise to quantifiers, which would in turn require relying on injectivity | file | diff | annotate |
| Thu, 26 Sep 2013 10:57:39 +0200 | blanchet | strengthen tactic | file | diff | annotate |
| Thu, 26 Sep 2013 10:26:00 +0200 | blanchet | use needed case theorems | file | diff | annotate |
| Thu, 26 Sep 2013 02:09:52 +0200 | blanchet | more powerful/robust tactics | file | diff | annotate |
| Thu, 26 Sep 2013 01:05:07 +0200 | blanchet | tuning | file | diff | annotate |
| Thu, 26 Sep 2013 01:05:06 +0200 | blanchet | made tactic more flexible w.r.t. case expressions and such | file | diff | annotate |
| Wed, 25 Sep 2013 21:25:53 +0200 | panny | simplified code | file | diff | annotate |
| Wed, 25 Sep 2013 16:43:46 +0200 | blanchet | thread through bound types | file | diff | annotate |