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
EvalWithExc.v -rw-r--r-- 2.7 KB
Makefile -rw-r--r-- 892 bytes
UsingSets.v -rw-r--r-- 844 bytes

back to top