Constructor classes in Isabelle/HOL. http://www. csee.ogi.edu/~brianh (2006)

by B Huffman
Venue:Formal Proof Development