simplified versions check_spec, read_spec, check_free_spec, read_free_spec: operate on list of singleton statements;
simplified check_specification, read_specification: operate on a single list of simultaneous statements;
tuned;
syntax: glob
*~
*.class
*.jar
.DS_Store
syntax: regexp
^heaps/
^browser_info/
^doc-src/.*\.aux
^doc-src/.*\.bbl
^doc-src/.*\.blg
^doc-src/.*\.dvi
^doc-src/.*\.idx
^doc-src/.*\.ind
^doc-src/.*\.log
^doc-src/.*\.out
^doc-src/.*\.rai
^doc-src/.*\.rao
^doc-src/.*\.toc