Morphism.hs revision ca732bc259f74cb4f3f725daab7fe80fc7e1d9a0
1a38107941725211e7c3f051f7a8f5e12199f03acmaedertree ca732bc259f74cb4f3f725daab7fe80fc7e1d9a0:
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiu
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens ElknerATC.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuATC/
431571057e88a650a974adec93ea4bb5173b6213Felix Gabriel ManceCASL.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCASL/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCASL_DL.hs
431571057e88a650a974adec93ea4bb5173b6213Felix Gabriel ManceCASL_DL/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCOL.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCOL/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCoCASL.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCoCASL/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCommon.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCommon/
19e01e1a7e319063434bd86c8ecbc5f241ef9993Felix Gabriel ManceComorphisms.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuComorphisms/
80875f917d741946a39d0ec0b5721e46ba609823Till MossakowskiConstraintCASL/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCspCASL.hs
a604cbad8e2202147b5c6bb9f2e06ae61162d654Felix Gabriel ManceCspCASL/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuDriver.hs
be2439588008221e691321fdf4f75432cfb72878Felix Gabriel ManceDriver/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuGUI.hs
fc05327b875b5723b6c17849b83477f29ec12c90Felix Gabriel ManceGUI/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuHasCASL.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuHasCASL/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuHaskell.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuHaskell/
0dd6e7830de0887c9a12356447975a826b3b3db2Christian MaederHets-Haddock-Prologue.txt
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuINSTALL
e0f1794e365dd347e97b37d7d22b2fce27296fa1Christian MaederIsabelle.hs
424860079d47bf490fa98d5d7498096a0447c569mcodescuIsabelle/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuLICENCE.txt
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuLICENSE.txt
1a38107941725211e7c3f051f7a8f5e12199f03acmaederLIZENZ.txt
1a38107941725211e7c3f051f7a8f5e12199f03acmaederLogic.hs
32bbac77828be0233953f8fe476edb0a9585408dChristian MaederLogic/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuLottery/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuMakefile
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuModal.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuModal/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuOMDoc/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuOWL_DL.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuOWL_DL/
27fdf879983dd28e211b41f3be6c0e930b7c816bFelix Gabriel MancePGIP.hs
431571057e88a650a974adec93ea4bb5173b6213Felix Gabriel MancePGIP/
1a38107941725211e7c3f051f7a8f5e12199f03acmaederProofs.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuProofs/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuREADME
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuReleaseMakefile
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuSPASS.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuSPASS/
b84c87f199dc287d235d7dad6ea344f6912ef531Christian MaederStatic.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuStatic/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuSyntax/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuTaxonomy.hs
be00381168b3f10192afabbba136fb06d3a9f358Christian MaederTaxonomy/
be00381168b3f10192afabbba136fb06d3a9f358Christian MaederTest.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuToHaskell/
27fdf879983dd28e211b41f3be6c0e930b7c816bFelix Gabriel Manceclean.lst
7852de3551fc797566ee71165bafe05b6d81728cnotanartistclean.sh
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiucvs-howto
27fdf879983dd28e211b41f3be6c0e930b7c816bFelix Gabriel Mancedoc/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiufgl/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuhaifa-lite/
27fdf879983dd28e211b41f3be6c0e930b7c816bFelix Gabriel Mancehcl/
d0f58d27c2536eba454d8f77de8617bc6a2c99cdFelix Gabriel Mancehets.hs
d0f58d27c2536eba454d8f77de8617bc6a2c99cdFelix Gabriel Mancehets.in
d0f58d27c2536eba454d8f77de8617bc6a2c99cdFelix Gabriel Mancehxt/
d0f58d27c2536eba454d8f77de8617bc6a2c99cdFelix Gabriel Manceideas
431571057e88a650a974adec93ea4bb5173b6213Felix Gabriel Mancemini/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiupretty/
27fdf879983dd28e211b41f3be6c0e930b7c816bFelix Gabriel Mancesyb-generics/
424860079d47bf490fa98d5d7498096a0447c569mcodescutest/
60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel Mancetodo
60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel Manceutils/
0dd6e7830de0887c9a12356447975a826b3b3db2Christian Maederversion_nr
424860079d47bf490fa98d5d7498096a0447c569mcodescu