]> matita.cs.unibo.it Git - helm.git/commit
Splitted gpts in two files.
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 17 Mar 2010 11:51:01 +0000 (11:51 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 17 Mar 2010 11:51:01 +0000 (11:51 +0000)
commit34a5ef53f3ad2771cb45f90a2da6713bccdf3608
tree19bbda677c60639f7196b7432a4f5d4a10b79694
parent14aa468ded0030440dbc9cc8fb5b936d927bb6fd
Splitted gpts in two files.
helm/software/matita/nlibrary/PTS/gpts.ma
helm/software/matita/nlibrary/PTS/subst.ma [new file with mode: 0644]