src/HOL/Library/List_Set.thy
2010-01-31 haftmann 2010-01-31 dropped some redundancies
2009-12-05 haftmann 2009-12-05 tuned lattices theory fragements; generlized some lemmas from sets to lattices
2009-12-02 haftmann 2009-12-02 generalized some lemmas
2009-10-06 haftmann 2009-10-06 sets and cosets
2009-06-29 haftmann 2009-06-29 hide popular names
2009-06-28 haftmann 2009-06-28 added Inter, Union
2009-06-25 haftmann 2009-06-25 added List_Set and Code_Set theories