https://github.com/coq-ext-lib/coq-ext-lib
History
Tip revision: 137198f749835153ffac389ae22f8eadd2c9f604 authored by gregory malecha on 27 November 2012, 22:36:21 UTC
cosmetic fix for a major problem with the library abstraction.
Tip revision: 137198f
File Mode Size
examples
theories
tools
.gitignore -rw-r--r-- 74 bytes
Makefile -rw-r--r-- 372 bytes
README.md -rw-r--r-- 1.3 KB
notes.org -rw-r--r-- 465 bytes
notes.txt -rw-r--r-- 97 bytes

README.md

back to top