Thu, 20 May 2010 16:35:54 +0200 | haftmann | added theory More_List | file | diff | annotate |
Sun, 31 Jan 2010 14:51:32 +0100 | haftmann | dropped some redundancies | file | diff | annotate |
Sat, 05 Dec 2009 20:02:21 +0100 | haftmann | tuned lattices theory fragements; generlized some lemmas from sets to lattices | file | diff | annotate |
Wed, 02 Dec 2009 17:53:34 +0100 | haftmann | generalized some lemmas | file | diff | annotate |
Tue, 06 Oct 2009 15:59:12 +0200 | haftmann | sets and cosets | file | diff | annotate |
Mon, 29 Jun 2009 12:18:57 +0200 | haftmann | hide popular names | file | diff | annotate |
Sun, 28 Jun 2009 10:33:36 +0200 | haftmann | added Inter, Union | file | diff | annotate |
Thu, 25 Jun 2009 17:07:18 +0200 | haftmann | added List_Set and Code_Set theories | file | diff | annotate |