Subversion Repositories wimsdev

Rev

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

Rev 16135 Rev 16209
Line 4... Line 4...
4 
!set methhelp=This method separates the situation into two cases, according \
 4 
!set methhelp=This method separates the situation into two cases, according \
5 
 to the truth of an inequality. The inequality and its inverse will be added\
 5 
 to the truth of an inequality. The inequality and its inverse will be added\
6 
 to the hypotheses of the two cases respectively.
 6 
 to the hypotheses of the two cases respectively.
7 
 
 7 
 
8 
!if $wims_read_parm iswordof form check
 8 
!if $wims_read_parm iswordof form check
9 
 !goto $wims_read_parm
 9 
  !goto $wims_read_parm
10 
!endif
 10 
!endif
11 
 
 11 
 
12 
!exit
 12 
!exit
13 
:form
 13 
:form
14 
 Separate the cases according to the truth of the inequality <br/>
 14 
 Separate the cases according to the truth of the inequality <br/>