matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/re/moves.ma

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/re/moves.ma

2012-05-16	Claudio Sacerdoti...	Removed duplicated notation and interaction with the...	blob \| commitdiff \| raw
2012-05-07	Andrea Asperti	More examples	blob \| commitdiff \| raw \| diff to current
2012-05-04	Claudio Sacerdoti...	(no commit message)	blob \| commitdiff \| raw \| diff to current
2012-04-26	Ferruccio Guidi	- notation (possibly affecting all .ma files):	blob \| commitdiff \| raw \| diff to current
2012-04-04	Andrea Asperti	Added in basics	blob \| commitdiff \| raw \| diff to current
2012-01-10	Andrea Asperti	A complete snapshot for re	blob \| commitdiff \| raw \| diff to current
2012-01-03	Andrea Asperti	Complete version	blob \| commitdiff \| raw \| diff to current
2011-12-15	Andrea Asperti	Hints sui DeqSets	blob \| commitdiff \| raw \| diff to current
2011-12-13	Andrea Asperti	Splitted re into lang.ma nd re.ma	blob \| commitdiff \| raw \| diff to current
2011-12-12	Claudio Sacerdoti...	Pairs are now records.	blob \| commitdiff \| raw \| diff to current
2011-12-12	Andrea Asperti	Generalization to any alphabet. We do not need a finite	blob \| commitdiff \| raw \| diff to current
2011-12-09	Andrea Asperti	closing more axioms	blob \| commitdiff \| raw \| diff to current
2011-12-07	Andrea Asperti	Closing some axioms...	blob \| commitdiff \| raw \| diff to current
2011-12-05	Andrea Asperti	Decidability of equality (draft)	blob \| commitdiff \| raw \| diff to current

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