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