Session PLM
View
theory dependencies
View
document
View
outline
Theories
TAO_1_Embedding
HOL-Eisbach.Eisbach
File ‹parse_tools.ML›
File ‹method_closure.ML›
File ‹eisbach_rule_insts.ML›
File ‹match_method.ML›
TAO_2_Semantics
TAO_3_Quantifiable
TAO_4_BasicDefinitions
TAO_5_MetaSolver
TAO_6_Identifiable
TAO_7_Axioms
TAO_8_Definitions
HOL-Eisbach.Eisbach_Tools
TAO_9_PLM
TAO_10_PossibleWorlds
TAO_98_ArtificialTheorems
TAO_99_SanityTests
TAO_99_Paradox
HOL-Library.LaTeXsugar
HOL-Library.OptionalSugar
Thesis