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

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

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

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