.hgignore

syntax: glob

afp-export-20??-??-??

*.pyc
*~
.DS_Store

thys/Tree-Automata/code/haskell/generated/Nat.hs
thys/Tree-Automata/code/haskell/generated/Ta.hs
thys/Tree-Automata/code/ml/generated/Ta.ML
thys/Tree-Automata/code/ocaml/generated/Ta.ml

thys/BinarySearchTree/BinaryTree_Code.ML
thys/BinarySearchTree/BinaryTree_TacticStyle_Code.ML

thys/ClockSynchInst/document/abs_distrib_mult.cvc
thys/ClockSynchInst/document/abs_distrib_mult.ics
thys/ClockSynchInst/document/abs_distrib_mult2.cvc
thys/ClockSynchInst/document/accur_pres.cvc
thys/ClockSynchInst/document/accur_pres.ics
thys/ClockSynchInst/document/bound_prec_enh.cvc
thys/ClockSynchInst/document/bound_prec_enh.ics
thys/ClockSynchInst/document/bound_prec_enh4.cvc
thys/ClockSynchInst/document/bound_prec_enh7.cvc

thys/Well_Quasi_Orders/generated/

thys/JinjaThreads/Execute/JVM_Execute2.ML
thys/JinjaThreads/Execute/JWellForm.ML
thys/JinjaThreads/Execute/J_Execute.ML
thys/JinjaThreads/JVM_Execute2.ML
thys/JinjaThreads/JWellForm.ML
thys/JinjaThreads/J_Execute.ML