| Mon, 24 Mar 2014 15:31:17 +0000 |
Christian Urban |
updated to massive changes in Isabelle
|
file |
diff |
annotate
|
| Tue, 07 Aug 2012 18:54:52 +0100 |
Christian Urban |
definition of an auxiliary graph in nominal-primrec definitions
|
file |
diff |
annotate
|
| Sun, 15 Jul 2012 13:03:47 +0100 |
Christian Urban |
added a simproc for alpha-equivalence to the simplifier
|
file |
diff |
annotate
|
| Thu, 12 Jul 2012 10:11:32 +0100 |
Christian Urban |
streamlined definition of alpha-equivalence for single binders (used flip instead of swap)
|
file |
diff |
annotate
|
| Tue, 12 Jun 2012 01:23:52 +0100 |
Christian Urban |
added finfun-type to Nominal
|
file |
diff |
annotate
|
| Mon, 11 Jun 2012 14:02:57 +0100 |
Christian Urban |
added CPS files to test (not all proofs have been completed)
|
file |
diff |
annotate
|
| Wed, 21 Dec 2011 17:05:00 +0900 |
Cezary Kaliszyk |
Reorder constructors to match Lambda
|
file |
diff |
annotate
|
| Fri, 19 Aug 2011 12:49:38 +0900 |
Cezary Kaliszyk |
Use same constructor names as Lambda, remove copies of FCB, remove [eqvt].
|
file |
diff |
annotate
|
| Sun, 24 Jul 2011 07:54:54 +0200 |
Cezary Kaliszyk |
update to 'termination (eqvt)'.
|
file |
diff |
annotate
|
| Sun, 03 Jul 2011 21:01:07 +0900 |
Cezary Kaliszyk |
Change CPS1 to FCB2
|
file |
diff |
annotate
|
| Fri, 24 Jun 2011 11:03:53 +0900 |
Cezary Kaliszyk |
Theory name changes for JEdit
|
file |
diff |
annotate
|
| Thu, 16 Jun 2011 13:32:36 +0100 |
Christian Urban |
moved for the moment CPS translations into the example directory
|
file |
diff |
annotate
| base
|