twelf - Revision 1901: /branches/twelf-opt/oracle-paper

• ..
• acmconf.cls
• biblio.bib
• oracl-lf-rev.tex
• oracl-lf.tex
• pftree1.eps
• pftree1.fig
• prooftree1.fig
• prooftree1.ps
• prooftree1.pstex
• prooftree1.pstex_t
• prooftree2.fig
• prooftree2.ps
• prooftree2.pstex
• prooftree2.pstex_t
• prooftree3.fig
• prooftree3.ps
• prooftree3.pstex
• prooftree3.pstex_t