# Running test, requires cabal

./execute_tests.sh

# Editing

The various tests are defined in the Main.hs file of
the pat-complete directory.

.
├── Readme.txt
├── cabal.project
├── term-rewriting                 # required by fort-h
├── fort-h	                   # fort-h source used as a TA-library
└── pat-complete
    ├── Main.hs                    # hand written
    ├── Pat_Complete_Generated.hs  # verified code, generated from Isabelle
    └── pat-complete.cabal
