]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/re
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
update in staic_2 and basic_2
[helm.git] / matita / matita / lib / re /
2018-03-29 Ferruccio Guididecentralizing core notation tree | commitdiff
2012-12-07 Ferruccio Guidi- "re": a part of reb.ma commented out since it cannot... tree | commitdiff
2012-05-16 Claudio Sacerdoti... Removed duplicated notation and interaction with the... tree | commitdiff
2012-05-15 Claudio Sacerdoti... Patch by Ferruccio that enables \top/\bot for False... tree | commitdiff
2012-05-15 Ferruccio Guidiwe added the standard notation for True and False ... tree | commitdiff
2012-05-07 Andrea AspertiMore examples tree | commitdiff
2012-05-04 Claudio Sacerdoti... (no commit message) tree | commitdiff
2012-04-26 Ferruccio Guidi- notation (possibly affecting all .ma files): tree | commitdiff
2012-04-04 Andrea AspertiAdded in basics tree | commitdiff
2012-01-10 Andrea AspertiA complete snapshot for re tree | commitdiff
2012-01-03 Andrea AspertiComplete version tree | commitdiff
2011-12-15 Andrea AspertiHints sui DeqSets tree | commitdiff
2011-12-13 Andrea AspertiSplitted re into lang.ma nd re.ma tree | commitdiff
2011-12-12 Claudio Sacerdoti... Pairs are now records. tree | commitdiff
2011-12-12 Andrea AspertiGeneralization to any alphabet. We do not need a finite tree | commitdiff
2011-12-09 Andrea Asperticlosing more axioms tree | commitdiff
2011-12-07 Andrea AspertiClosing some axioms... tree | commitdiff
2011-12-07 Andrea Asperti\vee notation for boolean or tree | commitdiff
2011-12-05 Andrea AspertiDecidability of equality (draft) tree | commitdiff
2011-11-21 Andrea Aspertiregular expressions tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.