Fri, 19 Aug 2011 17:05:10 +0900 | Cezary Kaliszyk | Quotient_Examples: Cset, List_Cset: Lift Inf and Sup directly. | file | diff | annotate |
Wed, 20 Jul 2011 13:24:49 +0200 | krauss | added UNION | file | diff | annotate |
Wed, 13 Jul 2011 15:50:45 +0200 | krauss | experimental variants of Library/Cset.thy and Library/Dlist_Cset.thy defined via quotient package | file | diff | annotate |