aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/Fixpoint.v
Commit message (Expand)AuthorAge
* Bypassing the use of (currently unimplemented) "Show Script" in testsGravatar herbelin2011-12-17
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Ajout de "Theorem id1 : t1 ... with idn : tn" pour partager la preuveGravatar herbelin2008-04-25
* Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8Gravatar herbelin2005-12-21
* modif des fixpoints pour que si on donne une notation au produit, les pts fix...Gravatar barras2004-03-05