Options.hs revision 7245138e91992b96b153b8ac527e263d9dc8ff5b
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsynctree 7245138e91992b96b153b8ac527e263d9dc8ff5b:
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncATC.hs
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncATC/
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncCASL.hs
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncCASL/
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncCASL_DL.hs
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncCASL_DL/
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncCOL.hs
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncCOL/
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncCoCASL.hs
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncCoCASL/
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncCommon.hs
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncCommon/
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncComorphisms.hs
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncComorphisms/
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncCspCASL.hs
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncCspCASL/
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncDriver.hs
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncDriver/
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncGUI.hs
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncGUI/
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncHasCASL.hs
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncHasCASL/
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncHaskell.hs
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncHaskell/
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncHatchet/
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncHets-Haddock-Prologue.txt
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncINSTALL
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncIsabelle.hs
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncIsabelle/
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncLICENCE.txt
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncLICENSE.txt
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncLIZENZ.txt
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncLogic.hs
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncLogic/
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncLottery/
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncMakefile
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncModal.hs
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncModal/
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncOWL_DL.hs
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncOWL_DL/
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncProofs.hs
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncProofs/
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncREADME
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsyncReleaseMakefile
SPASS.hs
SPASS/
Static.hs
Static/
Syntax/
Taxonomy.hs
Taxonomy/
Test.hs
ToHaskell/
clean.lst
clean.sh
doc/
fgl/
hets.hs
hxt/
ideas
install.sh
mini/
test/
todo
utils/
version_nr