History log of /seL4-l4v-10.1.1/isabelle/src/Doc/Typeclass_Hierarchy/document/build
Revision Date Author Comments
# 935dd413 18-Apr-2016 haftmann <none@none>

fragment of a HOL type class primer

--HG--
extra : rebase_source : c7ff6bceea8256c21b8b1f6081b53aad1df6c942