matita.cs.unibo.it Git - helm.git/search

]> matita.cs.unibo.it Git - helm.git/search

2006-10-12	acciavat	Manual porting of CoRN to Matita.	commit \| commitdiff \| tree
2006-10-03	maiorino	Some declarative tactics did not allow the "done" option...	commit \| commitdiff \| tree
2006-07-27	maiorino	Automation enabled for declarative proofs. Cool.	commit \| commitdiff \| tree
2006-07-27	maiorino	"that is equivalent to" and "or equivalently" implemented...	commit \| commitdiff \| tree
2006-07-27	maiorino	All the declarative tactics now have a more or less...	commit \| commitdiff \| tree
2006-07-27	maiorino	Declarative tactics for rewriting steps, elimination...	commit \| commitdiff \| tree
2006-07-27	maiorino	Notation for the existential quantifier moved to core_notati...	commit \| commitdiff \| tree
2006-07-27	maiorino	New declarative commands (ast, pretty-printing and...	commit \| commitdiff \| tree
2006-07-11	maiorino	First experimental version of the declarative proof...	commit \| commitdiff \| tree
2006-03-10	marangon	Added inversion principle creation for inductive predicates.	commit \| commitdiff \| tree
2006-03-10	marangon	Inversion code cleaning.	commit \| commitdiff \| tree
2006-03-03	marangon	PP of Refine.RefineFailure.	commit \| commitdiff \| tree

Unnamed repository; edit this file 'description' to name the repository.