| Tue, 01 Oct 2013 14:05:25 +0200 | blanchet | renamed theory file | file | diff | annotate |
| Sat, 28 Sep 2013 22:47:17 +0200 | wenzelm | make SML/NJ more happy; | file | diff | annotate |
| Fri, 27 Sep 2013 19:30:49 +0200 | blanchet | faster exit in common case | file | diff | annotate |
| Thu, 26 Sep 2013 16:25:12 +0200 | blanchet | tuning | file | diff | annotate |
| Thu, 26 Sep 2013 16:17:34 +0200 | blanchet | avoid calls to nth with ~1 | 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:26:00 +0200 | blanchet | use needed case theorems | file | diff | annotate |
| Wed, 25 Sep 2013 21:25:53 +0200 | panny | simplified code | file | diff | annotate |
| Wed, 25 Sep 2013 18:49:37 +0200 | blanchet | don't generate wrong type | file | diff | annotate |
| Wed, 25 Sep 2013 18:00:53 +0200 | blanchet | proper handling of abstractions | file | diff | annotate |
| Wed, 25 Sep 2013 17:11:17 +0200 | blanchet | fixed off-by-one bug | file | diff | annotate |
| Wed, 25 Sep 2013 17:01:29 +0200 | blanchet | further improved 'code' helper functions | file | diff | annotate |
| Wed, 25 Sep 2013 16:57:48 +0200 | blanchet | removed spurious recursion | file | diff | annotate |
| Wed, 25 Sep 2013 16:52:51 +0200 | blanchet | robustness | file | diff | annotate |
| Wed, 25 Sep 2013 16:43:46 +0200 | blanchet | thread through bound types | file | diff | annotate |
| Wed, 25 Sep 2013 16:43:46 +0200 | blanchet | killed redundant argument | file | diff | annotate |
| Wed, 25 Sep 2013 16:43:46 +0200 | blanchet | improved massaging of case expressions | file | diff | annotate |
| Wed, 25 Sep 2013 16:43:46 +0200 | blanchet | filled in gap in library offering | file | diff | annotate |
| Wed, 25 Sep 2013 14:28:10 +0200 | blanchet | break more conjunctions | file | diff | annotate |
| Wed, 25 Sep 2013 14:21:18 +0200 | blanchet | move useful functions to library | file | diff | annotate |
| Wed, 25 Sep 2013 12:29:06 +0200 | blanchet | more powerful fold | file | diff | annotate |
| Wed, 25 Sep 2013 12:00:22 +0200 | blanchet | properly fold over branches | file | diff | annotate |
| Wed, 25 Sep 2013 10:53:09 +0200 | blanchet | removed dead code | file | diff | annotate |
| Wed, 25 Sep 2013 10:45:12 +0200 | blanchet | keep a database of free constructor type information | file | diff | annotate |
| Wed, 25 Sep 2013 10:26:04 +0200 | blanchet | generalized case-handling code a bit | file | diff | annotate |
| Wed, 25 Sep 2013 10:17:18 +0200 | blanchet | support cases for new-style (co)datatypes | file | diff | annotate |
| Wed, 25 Sep 2013 09:35:37 +0200 | blanchet | use case rather than sequence of ifs in expansion | file | diff | annotate |
| Tue, 24 Sep 2013 20:40:36 +0200 | blanchet | started adding support for "nat_case" as case study for all "case" constructs | file | diff | annotate |
| Tue, 24 Sep 2013 19:15:50 +0200 | blanchet | made SML/NJ happy | file | diff | annotate |
| Tue, 24 Sep 2013 19:15:49 +0200 | blanchet | tuning | file | diff | annotate |