src/HOL/Library/List_Set.thy
Sun, 28 Jun 2009 10:33:36 +0200 haftmann added Inter, Union
Thu, 25 Jun 2009 17:07:18 +0200 haftmann added List_Set and Code_Set theories
less more (0) tip