Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
libisabelle-protocol/lib/classy/README.md
changeset 59216 f4693c6f4bb2
equal deleted inserted replaced
59215:35e792bef15f 59216:f4693c6f4bb2 
       
     1 # classy
 
       
     2 Type classes for Isabelle/ML
wneuper/isa