https://github.com/mattam82/Forcing
Tip revision: a77a13fd86a4ba8aecfb337c6334d12aaf24082e authored by Matthieu Sozeau on 20 August 2012, 16:02:08 UTC
Cleanup fix_lemmas, everything except wird is proved.
Cleanup fix_lemmas, everything except wird is proved.
Tip revision: a77a13f
File | Mode | Size |
---|---|---|
src | ||
test-suite | ||
theories | ||
Make | -rw-r--r-- | 252 bytes |
README | -rw-r--r-- | 262 bytes |