e8af69739a629708d2c155ebcd4fa57b8fd5006aLennart Poetteringtree f92a9a33e08d620a0ac77dbcd22282c379047f59:

e8af69739a629708d2c155ebcd4fa57b8fd5006aLennart Poettering

e8af69739a629708d2c155ebcd4fa57b8fd5006aLennart PoetteringATC/

e8af69739a629708d2c155ebcd4fa57b8fd5006aLennart PoetteringCASL/

e8af69739a629708d2c155ebcd4fa57b8fd5006aLennart PoetteringCASL_DL/

e8af69739a629708d2c155ebcd4fa57b8fd5006aLennart PoetteringCOL/

e8af69739a629708d2c155ebcd4fa57b8fd5006aLennart PoetteringCoCASL/

e93549ef29c4123d9ee45acb5815048390201e49Zbigniew Jędrzejewski-SzmekCommon/

e93549ef29c4123d9ee45acb5815048390201e49Zbigniew Jędrzejewski-SzmekComorphisms/

e93549ef29c4123d9ee45acb5815048390201e49Zbigniew Jędrzejewski-SzmekCspCASL/

be795898c0d2fa21e3389b89793dcd45c47f8b9fJosh TriplettDriver/

e93549ef29c4123d9ee45acb5815048390201e49Zbigniew Jędrzejewski-SzmekGUI/

e8af69739a629708d2c155ebcd4fa57b8fd5006aLennart PoetteringHasCASL/

e8af69739a629708d2c155ebcd4fa57b8fd5006aLennart PoetteringHaskell/

874ff7bf4d6fe693542209f127d23cd89adc499bLennart PoetteringHatchet/

874ff7bf4d6fe693542209f127d23cd89adc499bLennart PoetteringINSTALL

Isabelle/

Logic/

Lottery/

Makefile

Modal/

OWL_DL/

Proofs/

README

ReleaseMakefile

Static/

Syntax/

Taxonomy/

ToHaskell/

doc/

docs/

fgl/

ghc/

haterm-1.0/

hugs/

hxt/

ideas

mini/

test/

todo

utils/

version_nr