aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Classes/vo.itarget
Commit message (Expand)AuthorAge
* Update and start testing rewrite-in-type code.Gravatar Matthieu Sozeau2014-05-09
* Fixed the itarget of the previous commit...Gravatar ppedrot2012-01-06
* Added a typeclass-based system to reason on decidable propositions.Gravatar ppedrot2012-01-06
* Cleanup in Classes, removing unsupported code.Gravatar msozeau2010-02-11
* Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...Gravatar letouzey2009-12-09