Coerce.hs revision 1bc5dccbf0083a620ae1181c717fea75e4af5e5c
1a38107941725211e7c3f051f7a8f5e12199f03acmaedertree 1bc5dccbf0083a620ae1181c717fea75e4af5e5c:
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mance
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceATC.hs
81ec673ac5ab1493568d9ef7798b752ab8ee0e61Felix Gabriel ManceATC/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCASL.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCASL/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCASL_DL.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCASL_DL/
5d801400993c9671010d244646936d8fd435638cChristian MaederCOL.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCOL/
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceCoCASL.hs
aa0ca44e856c87db27e61687cbb630f270976da1Felix Gabriel ManceCoCASL/
5d801400993c9671010d244646936d8fd435638cChristian MaederCommon.hs
5d801400993c9671010d244646936d8fd435638cChristian MaederCommon/
5d801400993c9671010d244646936d8fd435638cChristian MaederComorphisms.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceComorphisms/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceConstraintCASL/
097bc9f18b722812d480df0f5c634d09cbca8e21Felix Gabriel ManceCspCASL.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceCspCASL/
852bd6145634dc2832b61c44678fe539bc1682d5Christian MaederDriver.hs
090c663fcc1593c66f39a0972326799a672760d5Christian MaederDriver/
f8c3d045dda224e92bf6bcb6288e1ee75ab54d1eChristian MaederGMP/
e40758c36e3e5312669558ad189b24b3eaf10c59Mihai CodescuGUI.hs
e40758c36e3e5312669558ad189b24b3eaf10c59Mihai CodescuGUI/
feab1106bbee4f2ea2fd48bca7106dd041e4211dFelix Gabriel ManceHasCASL.hs
18ff56829e5e99383ee6106584d55bcbd8ed45e7Felix Gabriel ManceHasCASL/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel ManceHaskell.hs
b1162cc13e8371724e3382ae6d1cfdeb43891fbbChristian MaederHaskell/
1a38107941725211e7c3f051f7a8f5e12199f03acmaederHets-Haddock-Prologue.txt
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel ManceHets.cabal
863fa65ac095659c6da1cde7fe7b839f1e7f60f9Felix Gabriel ManceINSTALL
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceIsabelle.hs
f8c3d045dda224e92bf6bcb6288e1ee75ab54d1eChristian MaederIsabelle/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceLICENCE.txt
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel ManceLICENSE.txt
1a38107941725211e7c3f051f7a8f5e12199f03acmaederLIZENZ.txt
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel ManceLogic.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceLogic/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceLottery/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceMakefile
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceMakefile.installer
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceModal.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceModal/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceModifications/
668c9c725a11c0f77057152148570af853a1bc0dFelix Gabriel ManceOMDoc/
0ec1551231bc5dfdcb3f2bd68fec7457fade7bfdFelix Gabriel ManceOWL_DL.hs
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceOWL_DL/
852bd6145634dc2832b61c44678fe539bc1682d5Christian MaederPGIP.hs
1a38107941725211e7c3f051f7a8f5e12199f03acmaederPGIP/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel ManceProofs.hs
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceProofs/
6033265e7b4ae660eff78e944213286863304903Mihai CodescuPropositional.hs
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel MancePropositional/
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceREADME
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceREADME.installer
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceReleaseMakefile
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceSoftFOL.hs
ffa6044b04fa0e31242141ff56a5d80c4233b676Felix Gabriel ManceSoftFOL/
68de80eb2800338cbd16512106fcadab79325d8bChristian MaederStatic.hs
68de80eb2800338cbd16512106fcadab79325d8bChristian MaederStatic/
68de80eb2800338cbd16512106fcadab79325d8bChristian MaederSyntax/
68de80eb2800338cbd16512106fcadab79325d8bChristian MaederTaxonomy.hs
68de80eb2800338cbd16512106fcadab79325d8bChristian MaederTaxonomy/
68de80eb2800338cbd16512106fcadab79325d8bChristian MaederTest.hs
68de80eb2800338cbd16512106fcadab79325d8bChristian MaederToHaskell/
fc7bd98aabe1bc26058660085e8c77d60a97bcecChristian Maederclean.lst
fc7bd98aabe1bc26058660085e8c77d60a97bcecChristian Maederclean.sh
68de80eb2800338cbd16512106fcadab79325d8bChristian Maederdoc/
fc7bd98aabe1bc26058660085e8c77d60a97bcecChristian Maederhaifa-lite/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mancehets.hs
68de80eb2800338cbd16512106fcadab79325d8bChristian Maederhets.in
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Manceideas
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mancemini/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mancepretty/
852bd6145634dc2832b61c44678fe539bc1682d5Christian Maedersample-ghci-script
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mancesyb-generics/
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mancetest/
c4ca03cce9571a309b1c173e9d5d27fdb8843abdChristian Maedertodo
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Manceutils/
407f3d9049715c5d96f014a5a1776410e034db83Christian Maederversion_nr
c298a419605037f5352b5ad0f67b3e06db094051Felix Gabriel Mance