_CoqProject

-R src ""


src/CoqStock/comparable.v
src/CoqStock/compare_nat.v
src/CoqStock/dup.v
src/CoqStock/DubStep.v
src/CoqStock/reorder.v
src/CoqStock/reduce_orb.v
src/CoqStock/sort.v
src/CoqStock/Invs.v
src/CoqStock/Lem.v
src/CoqStock/List.v
src/CoqStock/Listerine.v
src/CoqStock/list_set.v
src/CoqStock/TacticState.v
src/CoqStock/Truthy.v
src/CoqStock/Untie.v
src/CoqStock/WreckIt.v

src/Brzozowski/Alphabet.v
src/Brzozowski/Decidable.v
src/Brzozowski/CompareRegex.v
src/Brzozowski/ConcatLang.v
src/Brzozowski/Derive.v
src/Brzozowski/DeriveCommutes.v
src/Brzozowski/ExampleR.v
src/Brzozowski/FiniteDerive.v
src/Brzozowski/Language.v
src/Brzozowski/LogicOp.v
src/Brzozowski/Null.v
src/Brzozowski/NullCommutes.v
src/Brzozowski/Regex.v
src/Brzozowski/Ring.v
src/Brzozowski/Setoid.v
src/Brzozowski/Simplify.v
src/Brzozowski/SplitEmptyStr.v
src/Brzozowski/StarLang.v

src/Coinduction/Bisimilar.v
src/Coinduction/DeriveTree.v
src/Coinduction/Setoid.v
src/Coinduction/Simplify.v
src/Coinduction/Trace.v

src/Reexamined/compare_regex.v
src/Reexamined/derive.v
src/Reexamined/derive_def.v
src/Reexamined/nullable.v
src/Reexamined/main.v
src/Reexamined/matches_pred.v
src/Reexamined/matches_pred_proofs.v
src/Reexamined/regex.v
src/Reexamined/setoid.v
src/Reexamined/set_of_sequences.v
src/Reexamined/simple.v
src/Reexamined/simplified.v
src/Reexamined/size.v
src/Reexamined/smart.v
src/Reexamined/smart_or.v
src/Reexamined/SimplificationRules.v