src/HOL/Library/List_Cset.thy
2011-06-09 bulwahn 2011-06-09 local simp rule in List_Cset
2011-06-07 bulwahn 2011-06-07 splitting Cset into Cset and List_Cset