]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f6923ff) | patch
pathologic @-typing removed by adding imp-introduction
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 25 Jun 2014 13:20:54 +0000 (13:20 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 25 Jun 2014 13:20:54 +0000 (13:20 +0000)
commitb5da1e71c94a3c3a7fe6a50e71e75367b02828df
tree5ee0ab4226810c22e90c1ca1633334f1f30b7e3atree | snapshot
parentf6923ff81abc829b20c6d01801fd6b98ab88cd65commit | diff
pathologic @-typing removed by adding imp-introduction
helm/software/helena/examples/grundlagen/grundlagen.aut diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.