]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5863d4) | patch
ht:DEFINITION/Definition differentiated into
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 4 Apr 2004 13:44:08 +0000 (13:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 4 Apr 2004 13:44:08 +0000 (13:44 +0000)
commit2808f22f809adfa90fc609a10f250b788d873ffa
tree3ad485975b9b08eff919ccc7b341536abf0e14a9tree | snapshot
parentf5863d4898e846ba097e7180f8f26095af95fdc8commit | diff
ht:DEFINITION/Definition differentiated into
 ht:DEFINITION/Definition and
 ht:DEFINITION/InteractiveDefinition

because of an explicit request of Iris Loeb.
helm/dtd/theoryobject.dtd diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.