Supplementary material of paper "A verified algorithm for deciding pattern completeness"

Haskell
- Haskell source of our verified decision procedure
- Haskell source of FORT-h 
- Haskell source for tree automata encoding
- setup to run experiments OUR | GHC | TA
- see Readme.txt in subdirectory for further details

SML
- SML source of our verified decision procedure
- SML source of AGCP 
- setup to run experiments COMP 
- see Readme.txt in subdirectory for further details

thys
- Isabelle theories in source
- contains some copies of files in IsaFoR
- see Readme.txt in subdirectory for further details

results
- directory will be created when running some experiments
