IsaExport.dtd revision 6764d16780980d70ed80b17465e07c3bb811e28a
1a38107941725211e7c3f051f7a8f5e12199f03acmaedertree 6764d16780980d70ed80b17465e07c3bb811e28a:
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiu
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens Elkner.gitignore
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuATC.hs
431571057e88a650a974adec93ea4bb5173b6213Felix Gabriel ManceATC/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuAdl/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCASL.hs
431571057e88a650a974adec93ea4bb5173b6213Felix Gabriel ManceCASL/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCASL_DL.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCASL_DL/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCMDL.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCMDL/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCOL.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCOL/
19e01e1a7e319063434bd86c8ecbc5f241ef9993Felix Gabriel ManceCSL/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCSMOF/
80875f917d741946a39d0ec0b5721e46ba609823Till MossakowskiCoCASL.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCoCASL/
a604cbad8e2202147b5c6bb9f2e06ae61162d654Felix Gabriel ManceCommon.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCommon/
be2439588008221e691321fdf4f75432cfb72878Felix Gabriel ManceCommonLogic/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuComorphisms.hs
fc05327b875b5723b6c17849b83477f29ec12c90Felix Gabriel ManceComorphisms/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuConstraintCASL/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCspCASL.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCspCASL/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuCspCASLProver.hs
0dd6e7830de0887c9a12356447975a826b3b3db2Christian MaederCspCASLProver/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuDFOL/
e0f1794e365dd347e97b37d7d22b2fce27296fa1Christian MaederDMU/
424860079d47bf490fa98d5d7498096a0447c569mcodescuDriver.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuDriver/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuExtModal.hs
1a38107941725211e7c3f051f7a8f5e12199f03acmaederExtModal/
1a38107941725211e7c3f051f7a8f5e12199f03acmaederFpl/
32bbac77828be0233953f8fe476edb0a9585408dChristian MaederFramework.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuFramework/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuFreeCAD/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuGMP/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuGUI.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuGUI/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuHasCASL.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuHasCASL/
27fdf879983dd28e211b41f3be6c0e930b7c816bFelix Gabriel ManceHaskell.hs
431571057e88a650a974adec93ea4bb5173b6213Felix Gabriel ManceHaskell/
1a38107941725211e7c3f051f7a8f5e12199f03acmaederHets-Haddock-Prologue.txt
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuHets.cabal
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuHolLight/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuHybrid.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuHybrid/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuINSTALL
b84c87f199dc287d235d7dad6ea344f6912ef531Christian MaederInterfaces/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuIsabelle.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuIsabelle/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuLF/
be00381168b3f10192afabbba136fb06d3a9f358Christian MaederLICENSE.txt
be00381168b3f10192afabbba136fb06d3a9f358Christian MaederLIZENZ.txt
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuLogic.hs
27fdf879983dd28e211b41f3be6c0e930b7c816bFelix Gabriel ManceLogic/
7852de3551fc797566ee71165bafe05b6d81728cnotanartistMMT.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuMMT/
27fdf879983dd28e211b41f3be6c0e930b7c816bFelix Gabriel ManceMakefile
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuMakefile.installer
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuMaude/
27fdf879983dd28e211b41f3be6c0e930b7c816bFelix Gabriel ManceModal.hs
d0f58d27c2536eba454d8f77de8617bc6a2c99cdFelix Gabriel ManceModal/
d0f58d27c2536eba454d8f77de8617bc6a2c99cdFelix Gabriel ManceModifications/
d0f58d27c2536eba454d8f77de8617bc6a2c99cdFelix Gabriel ManceOMDoc.hs
d0f58d27c2536eba454d8f77de8617bc6a2c99cdFelix Gabriel ManceOMDoc/
431571057e88a650a974adec93ea4bb5173b6213Felix Gabriel ManceOWL2.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuOWL2/
27fdf879983dd28e211b41f3be6c0e930b7c816bFelix Gabriel ManceOmega/
424860079d47bf490fa98d5d7498096a0447c569mcodescuPGIP/
60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel MancePLpatt/
60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel ManceProofs.hs
0dd6e7830de0887c9a12356447975a826b3b3db2Christian MaederProofs/
424860079d47bf490fa98d5d7498096a0447c569mcodescuPropositional.hs
424860079d47bf490fa98d5d7498096a0447c569mcodescuPropositional/
424860079d47bf490fa98d5d7498096a0447c569mcodescuQBF/
60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel ManceQVTR/
d6d81ead61a5f9fb7d047e623f7898e730c258camcodescuRDF/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuREADME
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuREADME.installer
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuRelationalScheme.hs
60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel ManceRelationalScheme/
7852de3551fc797566ee71165bafe05b6d81728cnotanartistReleaseMakefile
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuScratch.hs
60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel ManceSoftFOL.hs
9475501a6acf48434052d9e6f4a05ed6681eaaabFrancisc Nicolae BungiuSoftFOL/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuStatic.hs
7852de3551fc797566ee71165bafe05b6d81728cnotanartistStatic/
80875f917d741946a39d0ec0b5721e46ba609823Till MossakowskiSyntax.hs
80875f917d741946a39d0ec0b5721e46ba609823Till MossakowskiSyntax/
424860079d47bf490fa98d5d7498096a0447c569mcodescuTHF/
0dd6e7830de0887c9a12356447975a826b3b3db2Christian MaederTaxonomy.hs
0dd6e7830de0887c9a12356447975a826b3b3db2Christian MaederTaxonomy/
424860079d47bf490fa98d5d7498096a0447c569mcodescuTemporal/
0dd6e7830de0887c9a12356447975a826b3b3db2Christian MaederToHaskell/
0dd6e7830de0887c9a12356447975a826b3b3db2Christian MaederTopHybrid.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuTopHybrid/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae BungiuVSE/
d0f58d27c2536eba454d8f77de8617bc6a2c99cdFelix Gabriel Manceatermlib/
60f30f0eeeacdfc1e0dfe39664373ddf5a0675adFelix Gabriel Mancebuild.xml
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuclean.lst
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuclean.sh
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiudoc/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuhets.hs
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuhets.in
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuideas
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiumini/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiupretty/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuprogramatica
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiusample-ghci-script
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroedertest/
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiutodo
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederutils/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroedervar.mk
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiuversion_nr
ee93ea764a2b8189253e912c8447f9419033f6d4Francisc Nicolae Bungiu