]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/re
Progress
[helm.git] / matita / matita / lib / re /
2012-05-16 Claudio Sacerdoti... Removed duplicated notation and interaction with the...
2012-05-15 Claudio Sacerdoti... Patch by Ferruccio that enables \top/\bot for False...
2012-05-15 Ferruccio Guidiwe added the standard notation for True and False ...
2012-05-07 Andrea AspertiMore examples
2012-05-04 Claudio Sacerdoti... (no commit message)
2012-04-26 Ferruccio Guidi- notation (possibly affecting all .ma files):
2012-04-04 Andrea AspertiAdded in basics
2012-01-10 Andrea AspertiA complete snapshot for re
2012-01-03 Andrea AspertiComplete version
2011-12-15 Andrea AspertiHints sui DeqSets
2011-12-13 Andrea AspertiSplitted re into lang.ma nd re.ma
2011-12-12 Claudio Sacerdoti... Pairs are now records.
2011-12-12 Andrea AspertiGeneralization to any alphabet. We do not need a finite
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