Mon, 04 Nov 2013 14:54:29 +0100 | traytel | more robust treatment of dead variables in n2m | file | diff | annotate |
Mon, 04 Nov 2013 12:40:28 +0100 | blanchet | tuning | file | diff | annotate |
Mon, 04 Nov 2013 10:52:41 +0100 | blanchet | conceal definition | file | diff | annotate |
Fri, 20 Sep 2013 16:32:27 +0200 | blanchet | renamed "primcorec" to "primcorecursive", to open the door to a 'theory -> theory' command called "primcorec" (cf. "fun" vs. "function") | file | diff | annotate |
Fri, 30 Aug 2013 15:36:00 +0200 | traytel | prove theorem in the right context (that knows about local variables) | file | diff | annotate |
Fri, 30 Aug 2013 12:12:41 +0200 | blanchet | renamed command to clarify connection with BNF | file | diff | annotate |
Fri, 30 Aug 2013 11:37:22 +0200 | blanchet | polished newly included files after moving | file | diff | annotate |
Fri, 30 Aug 2013 11:27:23 +0200 | blanchet | moved files related to "primrec_new", "primcorec", and "datatype_compat" from bitbucket co-rec repository | file | diff | annotate |