Wed, 12 Sep 2012 00:20:37 +0200 |
blanchet |
adapted example
|
file |
diff |
annotate
|
Mon, 10 Sep 2012 09:57:21 +0200 |
traytel |
simplify "Process" example even further
|
file |
diff |
annotate
|
Sun, 09 Sep 2012 21:22:31 +0200 |
blanchet |
simplify "Process" example further
|
file |
diff |
annotate
|
Sun, 09 Sep 2012 21:22:31 +0200 |
blanchet |
simplify "Process" example
|
file |
diff |
annotate
|
Sat, 08 Sep 2012 21:30:31 +0200 |
blanchet |
for compatiblity with old datatype package: not only "recs" with "s", but also "iters" and their "fld_"/"unf_" variants
|
file |
diff |
annotate
|
Sat, 08 Sep 2012 21:04:27 +0200 |
blanchet |
imported patch debugging
|
file |
diff |
annotate
|
Tue, 04 Sep 2012 17:23:08 +0200 |
blanchet |
renamed low-level (co)iterators and (co)recursors with "fld_"/"unf_" prefix
|
file |
diff |
annotate
|
Mon, 03 Sep 2012 11:54:21 +0200 |
blanchet |
renamed three BNF/(co)datatype-related commands
|
file |
diff |
annotate
|
Tue, 28 Aug 2012 17:24:53 +0200 |
blanchet |
fixed import paths in examples
|
file |
diff |
annotate
|
Tue, 28 Aug 2012 17:16:00 +0200 |
blanchet |
added new (co)datatype package + theories of ordinals and cardinals (with Dmitriy and Andrei)
|
file |
diff |
annotate
|