src/HOL/Library/List_Set.thy
Tue, 06 Oct 2009 15:59:12 +0200 haftmann sets and cosets
Mon, 29 Jun 2009 12:18:57 +0200 haftmann hide popular names
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