coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	suite du commit precedent	barras	2002-12-19
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	Diverses petites simplications de la machine de preuves.	clrenard	2001-11-19
*	Suppression des stamps et donc des *_constraints	clrenard	2001-11-12
*	Suppression des local_constraints, des ctxtty et du focus.	clrenard	2001-11-06
*	amelioration de la structure des univers	barras	2001-03-28
*	entetes	filliatr	2001-03-15
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
*	Simplifications autour de typed_type (renommé types par analogie avec sorts)...	herbelin	2000-10-18
*	Retrait du i pour tclTHEN_i et correction bugs Decompose	herbelin	2000-05-16
*	Ajout du langage de tactiques	delahaye	2000-05-03
*	gros commit de tout ce que j'ai fait pendant les vacances :	filliatr	2000-01-21
*	typage des existentielles dans Typing_ev; suppression metamap inutiles dans t...	filliatr	1999-11-25
*	Auto,Dhyp,Elim / Reduction de Evar / declarations eliminations	filliatr	1999-11-24
*	module Wcclausenv	filliatr	1999-11-22
*	module Pattern, Wcclausenv (interface) et Tacticals	filliatr	1999-11-19