]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Thu, 24 May 2007 13:07:34 +0000 (13:07 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Thu, 24 May 2007 13:07:34 +0000 (13:07 +0000) | ||
commit | 56ee40cf74fa4381a04325e112930a186ee13d93 | |
tree | 8e8a4aa0755a1579d19b0a14cb6bd4675144d2a0 | tree | snapshot |
parent | 4fd0802f846c1c011c9d393747b11d2bbc582269 | commit | diff |
helm/software/matita/contribs/formal_topology/bin/theory_explorer.ml | diff | blob | history |