Structure Thm
Source File
Identifier index
Theory binding index
signature Thm =
sig
include FinalThm
end
Source File
Identifier index
Theory binding index
HOL 4, Trindemossen-1