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