Session Regex_Equivalence
View
theory dependencies
View
document
View
outline
Theories
Regular-Sets.Regular_Set
Regular-Sets.Regular_Exp
HOL-Library.While_Combinator
Automaton
Regular-Sets.NDerivative
Regular-Sets.Derivatives
Derivatives_Finite
Deriv_PDeriv
Deriv_Autos
Position_Autos
After2
Before2
HOL-Library.Code_Abstract_Nat
HOL-Library.Code_Target_Nat
HOL-Library.Cancellation
File ‹Cancellation/cancel.ML›
File ‹Cancellation/cancel_data.ML›
File ‹Cancellation/cancel_simprocs.ML›
HOL-Library.Multiset
File ‹multiset_simprocs.ML›
Efficient-Mergesort.Efficient_Sort
Regex_Equivalence
Examples
SpecCheck.SpecCheck_Base
File ‹util.ML›
File ‹speccheck_base.ML›
File ‹property.ML›
File ‹configuration.ML›
File ‹random.ML›
SpecCheck.SpecCheck_Generators
File ‹gen_types.ML›
File ‹gen_base.ML›
File ‹gen_text.ML›
File ‹gen_int.ML›
File ‹gen_real.ML›
File ‹gen_function.ML›
File ‹gen_term.ML›
File ‹gen.ML›
SpecCheck.SpecCheck_Show
File ‹show_types.ML›
File ‹show_base.ML›
File ‹show_term.ML›
File ‹show.ML›
SpecCheck.SpecCheck_Shrink
File ‹shrink_types.ML›
File ‹shrink_base.ML›
File ‹shrink.ML›
SpecCheck.SpecCheck_Output_Style
File ‹output_style_types.ML›
File ‹output_style_perl.ML›
File ‹output_style_custom.ML›
File ‹output_style.ML›
SpecCheck.SpecCheck
File ‹lecker.ML›
File ‹speccheck.ML›
Benchmark