Makefile revision 099a7b3d3d666a3789b50465908ec9b1721c34ed
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens Elknertree 099a7b3d3d666a3789b50465908ec9b1721c34ed:
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel Hausmann
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel HausmannATC/
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuCASL/
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel HausmannCOL/
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel HausmannCoCASL/
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel HausmannCommon/
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel HausmannComorphisms/
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel HausmannCspCASL/
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel HausmannGUI/
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel HausmannHasCASL/
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel HausmannHaskell/
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel HausmannINSTALL
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel HausmannIsabelle/
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel HausmannLICENCE.txt
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederLIZENZ.txt
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel HausmannLogic/
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel HausmannLottery/
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel HausmannMakefile
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel HausmannModal/
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel HausmannProofs/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederREADME
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederReleaseMakefile
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederStatic/
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel HausmannSyntax/
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel HausmannTest.hs
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel HausmannToHaskell/
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel Hausmannclean.lst
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel Hausmannclean.sh
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel Hausmanndoc/
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel Hausmanndocs/
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel Hausmannghc/
d024d9de9b6e7a7cfd72ef72d8efb0e57da5a01bChristian Maederhaterm-1.0/
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel Hausmannhetcats/
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel Hausmannhets.hs
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel Hausmannhugs/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederideas
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel Hausmanninstall.sh
c8cc43106ea9a9bd1890ed81fc40b9877a4414d0Daniel Hausmannmini/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroedertest/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroedertodo
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederutils/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroederversion_nr
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder