]> matita.cs.unibo.it Git - helm.git/commit
commit by user andrea
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Thu, 23 Feb 2012 10:46:38 +0000 (10:46 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Thu, 23 Feb 2012 10:46:38 +0000 (10:46 +0000)
commit44c1079dabf1d3c0b69d0155ddbaea8627ec901c
treec194d49139c78b0bf060f207e70ddb14a776ea07
parent1410ea677188e9e11d748c69e208d1e90b0a324e
commit by user andrea
weblib/basics/logic.ma
weblib/basics/pts.ma
weblib/basics/types.ma
weblib/tutorial/chapter1.ma
weblib/tutorial/chapter4.ma