Tue, 17 May 2011 18:32:19 +0200 | Added iterated modalities reduction. | file | diff | annotate |
Tue, 17 May 2011 18:05:04 +0200 | Fix negation. | file | diff | annotate |
Tue, 17 May 2011 18:04:06 +0200 | Fix negation. | file | diff | annotate |
Tue, 17 May 2011 18:01:22 +0200 | Fix negation. | file | diff | annotate |
Tue, 17 May 2011 18:00:34 +0200 | Fix negation. | file | diff | annotate |
Tue, 17 May 2011 16:11:11 +0200 | Added header. | file | diff | annotate |
Tue, 17 May 2011 16:08:39 +0200 | Renamed file. | file | diff | annotate |