]> matita.cs.unibo.it Git - helm.git/commit
directory for porting the assembly to matita-ng
authorCosimo Oliboni <??>
Wed, 8 Jul 2009 10:03:08 +0000 (10:03 +0000)
committerCosimo Oliboni <??>
Wed, 8 Jul 2009 10:03:08 +0000 (10:03 +0000)
commit0594dabc08a6bea6b7a3445b0e236a6901b362b0
tree0817b420d8a6ef076fb0f61e597fc400b440e25e
parente9eda8f13045ff3d4f7b1ec93dec96e09bf65f1a
directory for porting the assembly to matita-ng