k_t4p_p_04.k revision a77f78d79de84698b4426d3dbc6792ed434ead4d
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo Lopestree a77f78d79de84698b4426d3dbc6792ed434ead4d:
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo Lopes
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo LopesATC.hs
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo LopesATC/
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo LopesCASL.hs
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesCASL/
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesCASL_DL.hs
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo LopesCASL_DL/
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesCOL.hs
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesCOL/
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesCoCASL.hs
6602c01097c66d242046fb0490e0a5dcc1ca36c5Lubos KoscoCoCASL/
6602c01097c66d242046fb0490e0a5dcc1ca36c5Lubos KoscoCommon.hs
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesCommon/
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesComorphisms.hs
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesComorphisms/
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesConstraintCASL/
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesCspCASL.hs
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesCspCASL/
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesDriver.hs
f9fd2b96d1c5ea62664f74da0e34a04b6511a8ffLubos KoscoDriver/
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesGMP/
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesGUI.hs
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesGUI/
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesHasCASL.hs
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesHasCASL/
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesHaskell.hs
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesHaskell/
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesHets-Haddock-Prologue.txt
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesHets.cabal
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesINSTALL
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesIsabelle.hs
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesIsabelle/
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo LopesLICENCE.txt
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo LopesLICENSE.txt
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo LopesLIZENZ.txt
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo LopesLogic.hs
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesLogic/
6602c01097c66d242046fb0490e0a5dcc1ca36c5Lubos KoscoLottery/
6602c01097c66d242046fb0490e0a5dcc1ca36c5Lubos KoscoMakefile
6602c01097c66d242046fb0490e0a5dcc1ca36c5Lubos KoscoMakefile.installer
6602c01097c66d242046fb0490e0a5dcc1ca36c5Lubos KoscoModal.hs
6602c01097c66d242046fb0490e0a5dcc1ca36c5Lubos KoscoModal/
6602c01097c66d242046fb0490e0a5dcc1ca36c5Lubos KoscoModifications/
6602c01097c66d242046fb0490e0a5dcc1ca36c5Lubos KoscoOMDoc/
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo LopesOWL_DL.hs
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesOWL_DL/
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesPGIP.hs
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesPGIP/
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesProofs.hs
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesProofs/
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesPropositional.hs
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesPropositional/
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesREADME
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo LopesREADME.installer
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesReleaseMakefile
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesSoftFOL.hs
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesSoftFOL/
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesStatic.hs
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesStatic/
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo LopesSyntax/
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesTaxonomy.hs
4ad8608d676334e57aec8447148ceeae37c2dee0Gustavo LopesTaxonomy/
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo LopesTest.hs
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo LopesToHaskell/
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo Lopesclean.lst
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo Lopesclean.sh
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo Lopesdoc/
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo Lopeshaifa-lite/
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo Lopeshets.hs
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo Lopeshets.in
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo Lopesideas
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo Lopesmini/
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo Lopespretty/
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo Lopessample-ghci-script
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo Lopessyb-generics/
2f1d1e46769e539095f74416cad9129d31d2616eGustavo Lopestest/
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo Lopestodo
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo Lopesutils/
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo Lopesversion_nr
2563573f45415d9a2a9deb5fa6401c86ed0c326aGustavo Lopes