COSC410

Read README first.

• 2011-asssignment
• 410-Aho-Ullman-FOCS-tree-model.pdf
• 410-LIA-sets-and-functions.pdf
• 410-LIA-tableaux.pdf
• 4bitf.m4
• 4bit.m4
• Arith1.java
• arith2.hs
• Arith2.java
• arith.c
• arith.hi
• arith.hs
• Arith.java
• boolexpr.c
• boolexpr.dat
• boolexpr.h
• cerebro.dat
• cerebro-prop.c
• cnf.hs
• COSC462.tar
• dem16.m4
• dnf.hs
• dnf.scm
• eqp-09d.tar.gz
• je-dnf.hs
• otter-3.2.tar.gz
• peru.htm
• prop.awk
• prop.c
• prop.dat
• prop.log
• propt.c
• propt.java
• README
• README.2001
• reslab.scm
• robdd.hs
• robdd.pl
• robdd.scm
• terms.c
• terms.htm
• tohs.pl
• tree-notes.txt
• Ullman-Tree-Data-Model.pdf