Morphism.hs revision bc350328e6ac2d9074317e222b4207a6aa49afea
1a38107941725211e7c3f051f7a8f5e12199f03acmaedertree bc350328e6ac2d9074317e222b4207a6aa49afea:
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiu
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens ElknerATC.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuATC/
431571057e88a650a974adec93ea4bb5173b6213Felix Gabriel ManceAdl/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCASL.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCASL/
431571057e88a650a974adec93ea4bb5173b6213Felix Gabriel ManceCASL_DL.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCASL_DL/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCMDL.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCMDL/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCOL.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCOL/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCSL/
19e01e1a7e319063434bd86c8ecbc5f241ef9993Felix Gabriel ManceCoCASL.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCoCASL/
80875f917d741946a39d0ec0b5721e46ba609823Till MossakowskiCommon.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCommon/
a604cbad8e2202147b5c6bb9f2e06ae61162d654Felix Gabriel ManceCommonLogic/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuComorphisms.hs
be2439588008221e691321fdf4f75432cfb72878Felix Gabriel ManceComorphisms/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuConstraintCASL/
fc05327b875b5723b6c17849b83477f29ec12c90Felix Gabriel ManceCspCASL.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCspCASL/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCspCASLProver.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCspCASLProver/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuDFOL/
0dd6e7830de0887c9a12356447975a826b3b3db2Christian MaederDMU/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuDriver.hs
e0f1794e365dd347e97b37d7d22b2fce27296fa1Christian MaederDriver/
424860079d47bf490fa98d5d7498096a0447c569mcodescuExtModal.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuExtModal/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuFpl/
1a38107941725211e7c3f051f7a8f5e12199f03acmaederFramework.hs
1a38107941725211e7c3f051f7a8f5e12199f03acmaederFramework/
32bbac77828be0233953f8fe476edb0a9585408dChristian MaederFreeCAD/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuGMP/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuGUI.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuGUI/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuHasCASL.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuHasCASL/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuHaskell.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuHaskell/
27fdf879983dd28e211b41f3be6c0e930b7c816bFelix Gabriel ManceHets-Haddock-Prologue.txt
431571057e88a650a974adec93ea4bb5173b6213Felix Gabriel ManceHets.cabal
1a38107941725211e7c3f051f7a8f5e12199f03acmaederHolLight/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuINSTALL
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuInterfaces/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuIsabelle.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuIsabelle/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuLF/
b84c87f199dc287d235d7dad6ea344f6912ef531Christian MaederLICENSE.txt
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuLIZENZ.txt
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuLogic.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuLogic/
be00381168b3f10192afabbba136fb06d3a9f358Christian MaederLottery/
be00381168b3f10192afabbba136fb06d3a9f358Christian MaederMakefile
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuMakefile.installer
27fdf879983dd28e211b41f3be6c0e930b7c816bFelix Gabriel ManceMaude/
7852de3551fc797566ee71165bafe05b6d81728cnotanartistModal.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuModal/
27fdf879983dd28e211b41f3be6c0e930b7c816bFelix Gabriel ManceModifications/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuOMDoc.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuOMDoc/
27fdf879983dd28e211b41f3be6c0e930b7c816bFelix Gabriel ManceOWL.hs
d0f58d27c2536eba454d8f77de8617bc6a2c99cdFelix Gabriel ManceOWL/
d0f58d27c2536eba454d8f77de8617bc6a2c99cdFelix Gabriel ManceOWL2/
d0f58d27c2536eba454d8f77de8617bc6a2c99cdFelix Gabriel ManceOmega/
d0f58d27c2536eba454d8f77de8617bc6a2c99cdFelix Gabriel MancePGIP/
431571057e88a650a974adec93ea4bb5173b6213Felix Gabriel ManceProofs.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuProofs/
27fdf879983dd28e211b41f3be6c0e930b7c816bFelix Gabriel MancePropositional.hs
424860079d47bf490fa98d5d7498096a0447c569mcodescuPropositional/
60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel ManceQBF/
60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel ManceREADME
0dd6e7830de0887c9a12356447975a826b3b3db2Christian MaederREADME.installer
424860079d47bf490fa98d5d7498096a0447c569mcodescuRelationalScheme.hs
424860079d47bf490fa98d5d7498096a0447c569mcodescuRelationalScheme/
424860079d47bf490fa98d5d7498096a0447c569mcodescuReleaseMakefile
60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel ManceScratch.hs
d6d81ead61a5f9fb7d047e623f7898e730c258camcodescuSearch/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuSoftFOL.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuSoftFOL/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuStatic.hs
60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel ManceStatic/
7852de3551fc797566ee71165bafe05b6d81728cnotanartistSyntax/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuTHF/
60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel ManceTaxonomy.hs
9475501a6acf48434052d9e6f4a05ed6681eaaabFrancisc Nicolae BungiuTaxonomy/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuTemporal/
7852de3551fc797566ee71165bafe05b6d81728cnotanartistToHaskell/
80875f917d741946a39d0ec0b5721e46ba609823Till MossakowskiVSE/
80875f917d741946a39d0ec0b5721e46ba609823Till Mossakowskiatermlib/
424860079d47bf490fa98d5d7498096a0447c569mcodescubuild.xml
0dd6e7830de0887c9a12356447975a826b3b3db2Christian Maederclean.lst
0dd6e7830de0887c9a12356447975a826b3b3db2Christian Maederclean.sh
424860079d47bf490fa98d5d7498096a0447c569mcodescudoc/
0dd6e7830de0887c9a12356447975a826b3b3db2Christian Maederhets.hs
0dd6e7830de0887c9a12356447975a826b3b3db2Christian Maederhets.in
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuideas
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiumini/
d0f58d27c2536eba454d8f77de8617bc6a2c99cdFelix Gabriel Mancepretty/
60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel Manceprogramatica
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiusample-ghci-script
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiutest/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiutodo
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuutils/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuvar.mk
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuversion_nr
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiu