| Wed, 09 Feb 2011 04:54:23 +0000 |
urbanc |
deleted the non_empty invariant
|
file |
diff |
annotate
|
| Wed, 09 Feb 2011 04:50:18 +0000 |
urbanc |
tuned comments and names in Myhill_1
|
file |
diff |
annotate
|
| Tue, 08 Feb 2011 16:49:18 +0000 |
urbanc |
more direct definitions
|
file |
diff |
annotate
|
| Tue, 08 Feb 2011 15:59:47 +0000 |
urbanc |
deleted lam_of
|
file |
diff |
annotate
|
| Tue, 08 Feb 2011 15:50:26 +0000 |
urbanc |
started to define things more directly
|
file |
diff |
annotate
|
| Tue, 08 Feb 2011 09:51:27 +0000 |
urbanc |
added an abbreviation for folds ALT NULL
|
file |
diff |
annotate
|
| Mon, 07 Feb 2011 20:30:10 +0000 |
urbanc |
parts of the 3 section
|
file |
diff |
annotate
|
| Mon, 07 Feb 2011 10:23:23 +0000 |
urbanc |
more on the paper
|
file |
diff |
annotate
|
| Sun, 06 Feb 2011 11:21:12 +0000 |
urbanc |
slightly more on the paper
|
file |
diff |
annotate
|
| Fri, 04 Feb 2011 22:54:29 +0000 |
urbanc |
more on the introduction
|
file |
diff |
annotate
|
| Thu, 03 Feb 2011 05:38:47 +0000 |
urbanc |
a bit more tuning on the introduction
|
file |
diff |
annotate
|
| Wed, 02 Feb 2011 06:05:12 +0000 |
urbanc |
removed the inductive definition of Star and replaced it by a definition in terms of pow
|
file |
diff |
annotate
|