| Mon, 01 Dec 2008 15:36:48 -0800 | huffman | clean up imports related to ContNotDenum | file | diff | annotate |
| Mon, 17 Mar 2008 22:34:25 +0100 | wenzelm | removed duplicate lemmas; | file | diff | annotate |
| Mon, 25 Feb 2008 11:27:00 +0100 | chaieb | Added trivial theorems aboud cmod | file | diff | annotate |
| Wed, 19 Dec 2007 22:34:03 +0100 | haftmann | instantiation target | file | diff | annotate |
| Tue, 11 Dec 2007 10:23:03 +0100 | haftmann | tuned | file | diff | annotate |
| Fri, 07 Dec 2007 15:07:59 +0100 | haftmann | instantiation target rather than legacy instance | file | diff | annotate |
| Thu, 29 Nov 2007 17:08:26 +0100 | haftmann | instance command as rudimentary class target | file | diff | annotate |