| Mon, 30 May 2011 13:16:21 +0200 | Introduced varargs for values. | file | diff | annotate |
| Wed, 18 May 2011 05:09:05 +0200 | Basic CNF. | file | diff | annotate |
| Wed, 18 May 2011 03:51:08 +0200 | Basic MCNF. | file | diff | annotate |
| 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 |