As.hs revision ad2e68e571352b6759441733df697e075ceed341
78cd48acd325773619d78ac0d7263a99a8922faendtree ad2e68e571352b6759441733df697e075ceed341:
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrse
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndATC.hs
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndATC/
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndAdl/
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrseCASL.hs
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndCASL/
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrseCASL_DL.hs
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndCASL_DL/
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndCMDL.hs
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndCMDL/
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndCOL.hs
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndCOL/
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndCSL/
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndCoCASL.hs
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndCoCASL/
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndCommon.hs
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndCommon/
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndCommonLogic/
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndComorphisms.hs
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndComorphisms/
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndConstraintCASL/
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndConstraints/
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrseCspCASL.hs
6ace32dacb8313226eb9019275d0e4fa45a15148rseCspCASL/
70535d6421eb979ac79d8f49d31cd94d75dd8b2fjortonCspCASLProver.hs
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrseCspCASLProver/
a943533fd4d91d114af622731a405407990c4fb1rseDFOL/
a943533fd4d91d114af622731a405407990c4fb1rseDMU/
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrseDriver.hs
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrseDriver/
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrseExtModal.hs
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrseExtModal/
7933d4a963def02417113b6798d87a36395053b0rseFpl/
7933d4a963def02417113b6798d87a36395053b0rseFramework.hs
71c00f988beb28388702e14cb7fe06f08bd792bbdougmFramework/
71c00f988beb28388702e14cb7fe06f08bd792bbdougmFreeCAD/
71c00f988beb28388702e14cb7fe06f08bd792bbdougmGMP/
7933d4a963def02417113b6798d87a36395053b0rseGUI.hs
71c00f988beb28388702e14cb7fe06f08bd792bbdougmGUI/
71c00f988beb28388702e14cb7fe06f08bd792bbdougmHasCASL.hs
71c00f988beb28388702e14cb7fe06f08bd792bbdougmHasCASL/
7933d4a963def02417113b6798d87a36395053b0rseHaskell.hs
71c00f988beb28388702e14cb7fe06f08bd792bbdougmHaskell/
71c00f988beb28388702e14cb7fe06f08bd792bbdougmHets-Haddock-Prologue.txt
71c00f988beb28388702e14cb7fe06f08bd792bbdougmHets.cabal
7933d4a963def02417113b6798d87a36395053b0rseHolLight/
7933d4a963def02417113b6798d87a36395053b0rseINSTALL
0c44ed1cffad38b900b39e8c65996b9b9cff061djimInterfaces/
0c44ed1cffad38b900b39e8c65996b9b9cff061djimIsabelle.hs
0c44ed1cffad38b900b39e8c65996b9b9cff061djimIsabelle/
0c44ed1cffad38b900b39e8c65996b9b9cff061djimLF/
0c44ed1cffad38b900b39e8c65996b9b9cff061djimLICENSE.txt
0c44ed1cffad38b900b39e8c65996b9b9cff061djimLIZENZ.txt
0c44ed1cffad38b900b39e8c65996b9b9cff061djimLogic.hs
0c44ed1cffad38b900b39e8c65996b9b9cff061djimLogic/
0c44ed1cffad38b900b39e8c65996b9b9cff061djimLottery/
0c44ed1cffad38b900b39e8c65996b9b9cff061djimMakefile
0c44ed1cffad38b900b39e8c65996b9b9cff061djimMakefile.installer
0c44ed1cffad38b900b39e8c65996b9b9cff061djimMaude/
0c44ed1cffad38b900b39e8c65996b9b9cff061djimModal.hs
0c44ed1cffad38b900b39e8c65996b9b9cff061djimModal/
0c44ed1cffad38b900b39e8c65996b9b9cff061djimModifications/
0c44ed1cffad38b900b39e8c65996b9b9cff061djimOMDoc.hs
0c44ed1cffad38b900b39e8c65996b9b9cff061djimOMDoc/
0c44ed1cffad38b900b39e8c65996b9b9cff061djimOWL.hs
0c44ed1cffad38b900b39e8c65996b9b9cff061djimOWL/
0c44ed1cffad38b900b39e8c65996b9b9cff061djimOmega/
0c44ed1cffad38b900b39e8c65996b9b9cff061djimPGIP/
0c44ed1cffad38b900b39e8c65996b9b9cff061djimProofs.hs
0c44ed1cffad38b900b39e8c65996b9b9cff061djimProofs/
0c44ed1cffad38b900b39e8c65996b9b9cff061djimPropositional.hs
0c44ed1cffad38b900b39e8c65996b9b9cff061djimPropositional/
d1bb6e2664788e0437acc18e877562c9a796d7cerseQBF/
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrseREADME
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrseREADME.installer
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrseRelationalScheme.hs
0c44ed1cffad38b900b39e8c65996b9b9cff061djimRelationalScheme/
7933d4a963def02417113b6798d87a36395053b0rseReleaseMakefile
7933d4a963def02417113b6798d87a36395053b0rseScratch.hs
71c00f988beb28388702e14cb7fe06f08bd792bbdougmSearch/
71c00f988beb28388702e14cb7fe06f08bd792bbdougmSoftFOL.hs
7933d4a963def02417113b6798d87a36395053b0rseSoftFOL/
7933d4a963def02417113b6798d87a36395053b0rseStatic.hs
7933d4a963def02417113b6798d87a36395053b0rseStatic/
53c239bee62c6d55b5ddfba5d99376d4c8de924ejwoolleySyntax/
7933d4a963def02417113b6798d87a36395053b0rseTaxonomy.hs
7933d4a963def02417113b6798d87a36395053b0rseTaxonomy/
7933d4a963def02417113b6798d87a36395053b0rseTemporal/
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrseToHaskell/
7933d4a963def02417113b6798d87a36395053b0rseVSE/
7933d4a963def02417113b6798d87a36395053b0rseatermlib/
7933d4a963def02417113b6798d87a36395053b0rsebuild.xml
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrseclean.lst
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrseclean.sh
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrsedoc/
cc003103e52ff9d5fe9bed567ef9438613ab4fbfrseheader_warning.log
e726f34f8da08c01ee8bc90904b26196b69c8587wrowehets.hs
7933d4a963def02417113b6798d87a36395053b0rsehets.in
7933d4a963def02417113b6798d87a36395053b0rseideas
7933d4a963def02417113b6798d87a36395053b0rsemini/
7933d4a963def02417113b6798d87a36395053b0rsepretty/
7933d4a963def02417113b6798d87a36395053b0rseprogramatica
7933d4a963def02417113b6798d87a36395053b0rsesample-ghci-script
7933d4a963def02417113b6798d87a36395053b0rsetest/
7933d4a963def02417113b6798d87a36395053b0rsetodo
7933d4a963def02417113b6798d87a36395053b0rseutils/
7933d4a963def02417113b6798d87a36395053b0rsevar.mk
7933d4a963def02417113b6798d87a36395053b0rseversion_nr
7933d4a963def02417113b6798d87a36395053b0rse