2011-02-08 deleted lam_of
urbanc [Tue, 08 Feb 2011 15:59:47 +0000] rev 80
deleted lam_of
2011-02-08 started to define things more directly
urbanc [Tue, 08 Feb 2011 15:50:26 +0000] rev 79
started to define things more directly
2011-02-08 More explaination on equational system
zhang [Tue, 08 Feb 2011 12:01:28 +0000] rev 78
More explaination on equational system
2011-02-08 small additions
urbanc [Tue, 08 Feb 2011 09:51:49 +0000] rev 77
small additions
2011-02-08 added an abbreviation for folds ALT NULL
urbanc [Tue, 08 Feb 2011 09:51:27 +0000] rev 76
added an abbreviation for folds ALT NULL
2011-02-07 parts of the 3 section
urbanc [Mon, 07 Feb 2011 20:30:10 +0000] rev 75
parts of the 3 section
2011-02-07 added bib-file
urbanc [Mon, 07 Feb 2011 13:17:01 +0000] rev 74
added bib-file
2011-02-07 More into first direction
zhang [Mon, 07 Feb 2011 13:08:09 +0000] rev 73
More into first direction
2011-02-07 added an option fullpaper to IsaMakefile
urbanc [Mon, 07 Feb 2011 11:12:36 +0000] rev 72
added an option fullpaper to IsaMakefile
2011-02-07 more on the paper
urbanc [Mon, 07 Feb 2011 10:23:23 +0000] rev 71
more on the paper
(0) -10 +10 +100 +300 tip