Session Transitive-Closure-II
View
theory dependencies
View
document
View
outline
Theories
Regular-Sets.Regular_Set
Regular-Sets.Regular_Exp
Regular-Sets.NDerivative
HOL-Library.While_Combinator
Regular-Sets.Equivalence_Checking
Regular-Sets.Relation_Interpretation
Regular-Sets.Regexp_Method
RTrancl