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

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

2008-05-26	Enrico Tassi	new, more rigid syntax, for auto_params affecting the...	blob \| commitdiff \| raw
2008-03-20	Enrico Tassi	changed auto_tac params type and all derivate tactics...	blob \| commitdiff \| raw \| diff to current
2008-03-20	Enrico Tassi	new semantics for 'by t'	blob \| commitdiff \| raw \| diff to current
2008-01-10	Enrico Tassi	BIG FAT WARNING: DEVELOPMENTS DIE HERE	blob \| commitdiff \| raw \| diff to current
2007-10-15	Claudio Sacerdoti...	Old wrong code to avoid old bug fixed.	blob \| commitdiff \| raw \| diff to current
2006-12-01	Ferruccio Guidi	some uris fixed	blob \| commitdiff \| raw \| diff to current
2006-11-30	Claudio Sacerdoti...	New syntax and semantics for the rewriting steps that...	blob \| commitdiff \| raw \| diff to current
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.