Subversion Repositories wimsdev

Rev

Rev 16120 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 16120 Rev 16135
Line 67... Line 67...
67 
  methexp=Contrapose with \($obj)
 67 
  methexp=Contrapose with \($obj)
68 
!endif
 68 
!endif
69 
m_goal=$newgoal
 69 
m_goal=$newgoal
70 
!read deduc/objects.combine
 70 
!read deduc/objects.combine
71 
!exit
 71 
!exit
72 
 
 -