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

]> matita.cs.unibo.it Git - helm.git/history - matita/tests/decl.ma

2006-11-30	Claudio Sacerdoti...	New syntax and semantics for the rewriting steps that...	blob \| commitdiff \| raw
2006-09-26	Claudio Sacerdoti...	discriminate => destruct	blob \| commitdiff \| raw \| diff to current
2006-07-27	maiorino	Automation enabled for declarative proofs. Cool.	blob \| commitdiff \| raw \| diff to current
2006-07-27	maiorino	"that is equivalent to" and "or equivalently" implement...	blob \| commitdiff \| raw \| diff to current
2006-07-27	maiorino	All the declarative tactics now have a more or less...	blob \| commitdiff \| raw \| diff to current
2006-07-27	maiorino	Declarative tactics for rewriting steps, elimination...	blob \| commitdiff \| raw \| diff to current
2006-07-11	maiorino	First experimental version of the declarative proof...	blob \| commitdiff \| raw \| diff to current

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