842ae4bd224140319ae7feec1872b93dfd491143fieldingtree 6a7e00a968cb0f3f9ccae19ab47ef3636c7e79bf:

842ae4bd224140319ae7feec1872b93dfd491143fielding

842ae4bd224140319ae7feec1872b93dfd491143fieldingATC/

842ae4bd224140319ae7feec1872b93dfd491143fieldingCASL/

842ae4bd224140319ae7feec1872b93dfd491143fieldingCommon/

842ae4bd224140319ae7feec1872b93dfd491143fieldingComorphisms/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesCspCASL/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesGUI/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesHasCASL/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesHaskell/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesINSTALL

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesIsabelle/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesLogic/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesLottery/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesMakefile

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesModal/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesProofs/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesREADME

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesReleaseMakefile

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesStatic/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesSyntax/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesToHaskell/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesdoc/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesdocs/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesghc/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholeshaterm-1.0/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholeshetcats/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholeshugs/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesmini/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholestest/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesutils/

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholesversion_nr

bbb1d2f82de322f7ce7746301a5f6cb3ce625663bnicholes