Wed, 18 May 2011 03:23:35 +0200 | Fixed variable bug with de morgan. | file | diff | annotate |
Tue, 17 May 2011 19:11:34 +0200 | Added modality distribution. | file | diff | annotate |
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 |