Makefile revision 404166b9366552e9ec5abb87a37c76ec8a815fb7
c793af95640863cd29868fc7c419c5d2496b207bsangeetatree 404166b9366552e9ec5abb87a37c76ec8a815fb7:
c793af95640863cd29868fc7c419c5d2496b207bsangeeta
c793af95640863cd29868fc7c419c5d2496b207bsangeetaATC/
c793af95640863cd29868fc7c419c5d2496b207bsangeetaCASL/
c793af95640863cd29868fc7c419c5d2496b207bsangeetaCommon/
c793af95640863cd29868fc7c419c5d2496b207bsangeetaComorphisms/
c793af95640863cd29868fc7c419c5d2496b207bsangeetaCspCASL/
c793af95640863cd29868fc7c419c5d2496b207bsangeetaGUI/
c793af95640863cd29868fc7c419c5d2496b207bsangeetaHasCASL/
c793af95640863cd29868fc7c419c5d2496b207bsangeetaHaskell/
c793af95640863cd29868fc7c419c5d2496b207bsangeetaINSTALL
c793af95640863cd29868fc7c419c5d2496b207bsangeetaIsabelle/
c793af95640863cd29868fc7c419c5d2496b207bsangeetaLICENCE.txt
c793af95640863cd29868fc7c419c5d2496b207bsangeetaLIZENZ.txt
c793af95640863cd29868fc7c419c5d2496b207bsangeetaLogic/
c793af95640863cd29868fc7c419c5d2496b207bsangeetaLottery/
c793af95640863cd29868fc7c419c5d2496b207bsangeetaMakefile
c793af95640863cd29868fc7c419c5d2496b207bsangeetaModal/
c793af95640863cd29868fc7c419c5d2496b207bsangeetaProofs/
c793af95640863cd29868fc7c419c5d2496b207bsangeetaREADME
c793af95640863cd29868fc7c419c5d2496b207bsangeetaReleaseMakefile
fff7ec1d8ce71b3d8a998ac4391a99860ce07180Sowmini VaradhanStatic/
c793af95640863cd29868fc7c419c5d2496b207bsangeetaSyntax/
c793af95640863cd29868fc7c419c5d2496b207bsangeetaToHaskell/
c793af95640863cd29868fc7c419c5d2496b207bsangeetaclean.lst
c793af95640863cd29868fc7c419c5d2496b207bsangeetaclean.sh
c793af95640863cd29868fc7c419c5d2496b207bsangeetadoc/
c793af95640863cd29868fc7c419c5d2496b207bsangeetadocs/
c793af95640863cd29868fc7c419c5d2496b207bsangeetaghc/
c793af95640863cd29868fc7c419c5d2496b207bsangeetahaterm-1.0/
c793af95640863cd29868fc7c419c5d2496b207bsangeetahetcats/
c793af95640863cd29868fc7c419c5d2496b207bsangeetahets.hs
c793af95640863cd29868fc7c419c5d2496b207bsangeetahugs/
c793af95640863cd29868fc7c419c5d2496b207bsangeetamini/
c793af95640863cd29868fc7c419c5d2496b207bsangeetatest/
c793af95640863cd29868fc7c419c5d2496b207bsangeetautils/
c793af95640863cd29868fc7c419c5d2496b207bsangeetaversion_nr
c793af95640863cd29868fc7c419c5d2496b207bsangeeta