| Source File | Identifier index | Theory binding index |
|---|
signature Thm =
sig
include FinalThm where type tag = Tag.tag
and type hol_type = Type.hol_type
and type term = Term.term
end
| Source File | Identifier index | Theory binding index |
|---|