Session Abstract-Rewriting
View
theory dependencies
View
document
View
outline
Theories
Seq
Regular-Sets.Regular_Set
Regular-Sets.Regular_Exp
Regular-Sets.NDerivative
Regular-Sets.Equivalence_Checking
Regular-Sets.Relation_Interpretation
Regular-Sets.Regexp_Method
Abstract_Rewriting
Relative_Rewriting
SN_Orders
SN_Order_Carrier