/src/HOL/Quotient_Examples/
drwxr-xr-x [up]
-rw-r--r-- 2011-12-09 18:07 +0100 9294 DList.thy
-rw-r--r-- 2011-12-09 18:07 +0100 40550 FSet.thy
-rw-r--r-- 2011-12-09 18:07 +0100 3644 Lift_Fun.thy
-rw-r--r-- 2011-12-09 18:07 +0100 7780 Lift_RBT.thy
-rw-r--r-- 2011-12-09 18:07 +0100 1407 Lift_Set.thy
-rw-r--r-- 2011-12-09 18:07 +0100 6440 List_Quotient_Cset.thy
-rw-r--r-- 2011-12-09 18:07 +0100 5241 Quotient_Cset.thy
-rw-r--r-- 2011-12-09 18:07 +0100 9013 Quotient_Int.thy
-rw-r--r-- 2011-12-09 18:07 +0100 10685 Quotient_Message.thy
-rw-r--r-- 2011-12-09 18:07 +0100 275 ROOT.ML