Tree.hs revision f8235ec15d88314cf8f499853528cf944df37a23
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian Maedertree f8235ec15d88314cf8f499853528cf944df37a23:
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder
06a671f19b2f76097ca4997268954721a831c527Christian MaederATC.hs
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian MaederATC/
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian MaederCASL.hs
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederCASL/
3f69b6948966979163bdfe8331c38833d5d90ecdChristian MaederCASL_DL.hs
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederCASL_DL/
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederCOL.hs
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederCOL/
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederCoCASL.hs
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederCoCASL/
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederCommon.hs
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederCommon/
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederComorphisms.hs
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederComorphisms/
705d04a6d3b01afd249f53397e5cbfa76fc0e179Christian MaederCspCASL.hs
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederCspCASL/
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederDriver.hs
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian MaederDriver/
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian MaederGUI.hs
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian MaederGUI/
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian MaederHasCASL.hs
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian MaederHasCASL/
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian MaederHaskell.hs
4193a06761942e1865d40e06598acea3ebf05515Christian MaederHaskell/
62ec122da8d4fdfa66cc059b97dabbf10c81affeChristian MaederHatchet/
62ec122da8d4fdfa66cc059b97dabbf10c81affeChristian MaederHets-Haddock-Prologue.txt
62ec122da8d4fdfa66cc059b97dabbf10c81affeChristian MaederINSTALL
62ec122da8d4fdfa66cc059b97dabbf10c81affeChristian MaederIsabelle.hs
62ec122da8d4fdfa66cc059b97dabbf10c81affeChristian MaederIsabelle/
62ec122da8d4fdfa66cc059b97dabbf10c81affeChristian MaederLICENCE.txt
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian MaederLICENSE.txt
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian MaederLIZENZ.txt
4193a06761942e1865d40e06598acea3ebf05515Christian MaederLogic.hs
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian MaederLogic/
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian MaederLottery/
4193a06761942e1865d40e06598acea3ebf05515Christian MaederMakefile
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian MaederModal.hs
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian MaederModal/
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederOWL_DL.hs
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederOWL_DL/
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian MaederProofs.hs
62ec122da8d4fdfa66cc059b97dabbf10c81affeChristian MaederProofs/
62ec122da8d4fdfa66cc059b97dabbf10c81affeChristian MaederREADME
62ec122da8d4fdfa66cc059b97dabbf10c81affeChristian MaederReleaseMakefile
62ec122da8d4fdfa66cc059b97dabbf10c81affeChristian MaederSPASS.hs
62ec122da8d4fdfa66cc059b97dabbf10c81affeChristian MaederSPASS/
62ec122da8d4fdfa66cc059b97dabbf10c81affeChristian MaederStatic.hs
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian MaederStatic/
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian MaederSyntax/
4193a06761942e1865d40e06598acea3ebf05515Christian MaederTaxonomy.hs
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian MaederTaxonomy/
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian MaederTest.hs
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian MaederToHaskell/
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maederclean.lst
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maederclean.sh
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederdoc/
fgl/
hets.hs
hxt/
ideas
install.sh
mini/
test/
todo
utils/
version_nr