Tracks http://hg.code.sf.net/p/afp/code with git-hg
Primary LanguageIsabelle
This repository is not active