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

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

2022-01-08	Ferruccio Guidi	update in lib	blob \| commitdiff \| raw
2012-12-07	Ferruccio Guidi	- "re": a part of reb.ma commented out since it cannot...	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-03	Andrea Asperti	Complete version	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-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-07	Andrea Asperti	\vee notation for boolean or	blob \| commitdiff \| raw \| diff to current
2011-12-05	Andrea Asperti	Decidability of equality (draft)	blob \| commitdiff \| raw \| diff to current
2011-11-21	Andrea Asperti	regular expressions	blob \| commitdiff \| raw \| diff to current

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