]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/re/re.ma
Added in basics
[helm.git] / matita / matita / lib / re / re.ma
2012-04-04 Andrea AspertiAdded in basics
2012-01-03 Andrea AspertiComplete version
2011-12-13 Andrea AspertiSplitted re into lang.ma nd re.ma
2011-12-12 Claudio Sacerdoti... Pairs are now records.
2011-12-09 Andrea Asperticlosing more axioms
2011-12-07 Andrea AspertiClosing some axioms...
2011-12-07 Andrea Asperti\vee notation for boolean or
2011-12-05 Andrea AspertiDecidability of equality (draft)
2011-11-21 Andrea Aspertiregular expressions