]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/tutorial
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
decentralized notation in lambda
[helm.git] / matita / matita / lib / tutorial /
2020-03-05 Ferruccio Guidiupdate in standard library tree | commitdiff
2018-03-29 Ferruccio Guididecentralizing core notation tree | commitdiff
2015-01-07 Claudio Sacerdoti... ... tree | commitdiff
2014-12-23 Andrea AspertiA compiling version tree | commitdiff
2014-12-23 Claudio Sacerdoti... check removed tree | commitdiff
2014-12-04 Andrea Aspertifixing tree | commitdiff
2014-12-04 Andrea Aspertifixing tree | commitdiff
2014-12-04 Andrea Aspertifixing tree | commitdiff
2014-10-21 Claudio Sacerdoti... Typos. tree | commitdiff
2014-09-11 Claudio Sacerdoti... ... tree | commitdiff
2014-09-11 Claudio Sacerdoti... ... tree | commitdiff
2014-09-10 Claudio Sacerdoti... New chapter on setoids. tree | commitdiff
2014-09-10 Claudio Sacerdoti... chapter12 (coinductive) -> chapter13 tree | commitdiff
2014-08-29 Claudio Sacerdoti... Notes. tree | commitdiff
2014-08-29 Claudio Sacerdoti... A tentative chaptern on coinductive types. tree | commitdiff
2013-04-30 Andrea Aspertichapter9 tree | commitdiff
2013-04-30 Andrea Aspertitutorial tree | commitdiff
2013-03-11 Andrea AspertiChpater 4 and 5 tree | commitdiff
2013-03-10 Andrea Aspertichapters 2 e 3 tree | commitdiff
2013-02-28 Andrea Aspertichapter2 revisited tree | commitdiff
2013-02-27 Andrea AspertiChapter 1 revisited tree | commitdiff
2012-12-07 Ferruccio Guidi- pts_dummy/pts_dummy_new: non compiling parts commente... tree | commitdiff
2012-12-07 Ferruccio Guidi- untranslated sections of "formal_topology" commented... tree | commitdiff
2012-07-21 Andrea AspertiAn executable version of the tutorial. tree | commitdiff
2012-07-19 Andrea AspertiFew changes tree | commitdiff
2012-07-19 Andrea Aspertiadding tutorial tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.