Morphism.hs revision fcac596b16bb10f475066c323b9b1ca44db2b755
3802a3d3d7af51ddff31943d5514382f01265770Lennart Poetteringtree fcac596b16bb10f475066c323b9b1ca44db2b755:
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-Szmek
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekATC.hs
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekATC/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekCASL.hs
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekCASL/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekCASL_DL.hs
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekCASL_DL/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekCOL.hs
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekCOL/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekCoCASL.hs
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekCoCASL/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekCommon.hs
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekCommon/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekComorphisms.hs
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekComorphisms/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekConstraintCASL/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekCspCASL.hs
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekCspCASL/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekDriver.hs
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekDriver/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekGUI.hs
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekGUI/
301af7e4853ad0281402f8d86f5a77c6cb7ce9f4Josh TriplettHasCASL.hs
301af7e4853ad0281402f8d86f5a77c6cb7ce9f4Josh TriplettHasCASL/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekHaskell.hs
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekHaskell/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekHets-Haddock-Prologue.txt
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekINSTALL
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekIsabelle.hs
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekIsabelle/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekLICENCE.txt
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekLICENSE.txt
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekLIZENZ.txt
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekLogic.hs
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekLogic/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekLottery/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekMakefile
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekMakefile.installer
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekModal.hs
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekModal/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekOMDoc/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekOWL_DL.hs
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekOWL_DL/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekPGIP.hs
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekPGIP/
301af7e4853ad0281402f8d86f5a77c6cb7ce9f4Josh TriplettProofs.hs
301af7e4853ad0281402f8d86f5a77c6cb7ce9f4Josh TriplettProofs/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekPropositional.hs
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekPropositional/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekREADME
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekReleaseMakefile
301af7e4853ad0281402f8d86f5a77c6cb7ce9f4Josh TriplettSPASS.hs
301af7e4853ad0281402f8d86f5a77c6cb7ce9f4Josh TriplettSPASS/
301af7e4853ad0281402f8d86f5a77c6cb7ce9f4Josh TriplettStatic.hs
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekStatic/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekSyntax/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekTaxonomy.hs
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekTaxonomy/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-SzmekTest.hs
18ead1b00dff180a97507d014325cb46198e6657Chris MayoToHaskell/
18ead1b00dff180a97507d014325cb46198e6657Chris Mayoclean.lst
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-Szmekclean.sh
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-Szmekcvs-howto
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-Szmekdoc/
e93549ef29c4123d9ee45acb5815048390201e49Zbigniew Jędrzejewski-Szmekhaifa-lite/
301af7e4853ad0281402f8d86f5a77c6cb7ce9f4Josh Tripletthets.hs
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-Szmekhets.in
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-Szmekhxt/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-Szmekideas
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-Szmekmini/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-Szmekpretty/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-Szmeksyb-generics/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-Szmektest/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-Szmektodo
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-Szmekutils/
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-Szmekversion_nr
3cc765d2718ac9b4ff978044ceabf5ad59d73edfZbigniew Jędrzejewski-Szmek