Coerce.hs revision 98890889ffb2e8f6f722b00e265a211f13b5a861
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mancetree 98890889ffb2e8f6f722b00e265a211f13b5a861:
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mance
81ec673ac5ab1493568d9ef7798b752ab8ee0e61Felix Gabriel ManceATC.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceATC/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceAdl/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCASL.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCASL/
5d801400993c9671010d244646936d8fd435638cChristian MaederCASL_DL.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCASL_DL/
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceCMDL.hs
aa0ca44e856c87db27e61687cbb630f270976da1Felix Gabriel ManceCMDL/
5d801400993c9671010d244646936d8fd435638cChristian MaederCOL.hs
5d801400993c9671010d244646936d8fd435638cChristian MaederCOL/
5d801400993c9671010d244646936d8fd435638cChristian MaederCSL/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCoCASL.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCoCASL/
097bc9f18b722812d480df0f5c634d09cbca8e21Felix Gabriel ManceCommon.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCommon/
852bd6145634dc2832b61c44678fe539bc1682d5Christian MaederCommonLogic/
feab1106bbee4f2ea2fd48bca7106dd041e4211dFelix Gabriel ManceComorphisms.hs
18ff56829e5e99383ee6106584d55bcbd8ed45e7Felix Gabriel ManceComorphisms/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel ManceConstraintCASL/
b1162cc13e8371724e3382ae6d1cfdeb43891fbbChristian MaederConstraints/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel ManceCspCASL.hs
863fa65ac095659c6da1cde7fe7b839f1e7f60f9Felix Gabriel ManceCspCASL/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCspCASLProver.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCspCASLProver/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel ManceDFOL/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel ManceDMU/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel ManceDriver.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceDriver/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceExtModal.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceExtModal/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceFramework/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceGMP/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceGUI.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceGUI/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel ManceHasCASL.hs
0ec1551231bc5dfdcb3f2bd68fec7457fade7bfdFelix Gabriel ManceHasCASL/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceHaskell.hs
852bd6145634dc2832b61c44678fe539bc1682d5Christian MaederHaskell/
968930c7674ae3b63d308bf4fa651400aa263054Christian MaederHets-Haddock-Prologue.txt
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceHets.cabal
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceINSTALL
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceInterfaces/
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceIsabelle.hs
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceIsabelle/
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceLF/
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceLICENSE.txt
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceLIZENZ.txt
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceLogic.hs
fc7bd98aabe1bc26058660085e8c77d60a97bcecChristian MaederLogic/
fc7bd98aabe1bc26058660085e8c77d60a97bcecChristian MaederLottery/
fc7bd98aabe1bc26058660085e8c77d60a97bcecChristian MaederMakefile
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceMakefile.installer
3c6b4f79cea11dd2acc2060bf1502b6ba9e905f2Felix Gabriel ManceMaude/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceModal.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceModal/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceModifications/
852bd6145634dc2832b61c44678fe539bc1682d5Christian MaederOMDoc.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceOMDoc/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceOWL.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceOWL/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceOmega/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel MancePGIP/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceProofs.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceProofs/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel MancePropositional.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel MancePropositional/
544989bc1f6ed4bc0813334ffd934db0fb0010eaFelix Gabriel ManceQBF/
544989bc1f6ed4bc0813334ffd934db0fb0010eaFelix Gabriel ManceREADME
544989bc1f6ed4bc0813334ffd934db0fb0010eaFelix Gabriel ManceREADME.installer
544989bc1f6ed4bc0813334ffd934db0fb0010eaFelix Gabriel ManceRelationalScheme.hs
544989bc1f6ed4bc0813334ffd934db0fb0010eaFelix Gabriel ManceRelationalScheme/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceReleaseMakefile
852bd6145634dc2832b61c44678fe539bc1682d5Christian MaederSearch/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel ManceSoftFOL.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceSoftFOL/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceStatic.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceStatic/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceSyntax/
852bd6145634dc2832b61c44678fe539bc1682d5Christian MaederTaxonomy.hs
852bd6145634dc2832b61c44678fe539bc1682d5Christian MaederTaxonomy/
852bd6145634dc2832b61c44678fe539bc1682d5Christian MaederTemporal/
ea3f858eb531d981df3ed00beeadd99cf025adecChristian MaederTest.hs
ea3f858eb531d981df3ed00beeadd99cf025adecChristian MaederToHaskell/
ea3f858eb531d981df3ed00beeadd99cf025adecChristian MaederVSE/
75aaf82c430ad2a5cf159962b1c5c09255010fb4Felix Gabriel Manceatermlib/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel Mancebuild.xml
75aaf82c430ad2a5cf159962b1c5c09255010fb4Felix Gabriel Manceclean.lst
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel Manceclean.sh
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel Mancedoc/
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel Manceheader_warning.log
1b1144abf7f95a4b23405b8d5604813cfe7b036aFelix Gabriel Mancehets.hs
19e01e1a7e319063434bd86c8ecbc5f241ef9993Felix Gabriel Mancehets.in
1b1144abf7f95a4b23405b8d5604813cfe7b036aFelix Gabriel Manceideas
5a3ae0a9224276de25e709ef8788c1b9716cd206Christian Maedermini/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel Mancepretty/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel Manceprogramatica
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel Mancesample-ghci-script
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mancetest/
8af00c8930672188ae80c8829428859160d329d0Felix Gabriel Mancetodo
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Manceutils/
1b90322eaf59ded3de24fc891bd67bbd73ec2bfaFelix Gabriel Mancevar.mk
1b90322eaf59ded3de24fc891bd67bbd73ec2bfaFelix Gabriel Manceversion_nr
1b90322eaf59ded3de24fc891bd67bbd73ec2bfaFelix Gabriel Mance