Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Quotient_Examples/ROOT.ML
changeset 45536 5b0b1dc2e40f
parent 45319 2b002c6b0f7d
child 45577 33b964e117bd
equal deleted inserted replaced
45535:fbad87611fae 45536:5b0b1dc2e40f 
     2     Author:     Cezary Kaliszyk and Christian Urban
 
     2     Author:     Cezary Kaliszyk and Christian Urban
 
     3 
     3 
     4 Testing the quotient package.
 
     4 Testing the quotient package.
 
     5 *)
 
     5 *)
 
     6 
     6 
     7 use_thys ["DList", "FSet", "Quotient_Int", "Quotient_Message", "Quotient_Cset", "List_Quotient_Cset"];
 
     7 use_thys ["DList", "FSet", "Quotient_Int", "Quotient_Message", "Quotient_Cset", "List_Quotient_Cset", "Lift_Set"];
 
     8 
     8
isabelle