]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bfc9b5c) | patch
a suggestion was added to avoid 1 pseudo reduction at the cost of 40 proper
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 4 Mar 2014 21:52:05 +0000 (21:52 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 4 Mar 2014 21:52:05 +0000 (21:52 +0000)
commit672cb6cc509b233d3201ea4b5959b65980323bf7
treeb39e90c34e9c41dfc63812d26526cfe59119ffe7tree | snapshot
parentbfc9b5c983a046e1fcd111dbe8518c827643861ecommit | diff
a suggestion was added to avoid 1 pseudo reduction at the cost of 40 proper
reductions :(
helm/software/helena/examples/grundlagen/grundlagen.aut diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.