Subversion Repositories wimsdev

Rev

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

Rev 16208 Rev 16376
Line 6... Line 6...
6 
name_badsize=Your answer does not even have a correct size.
 6 
name_badsize=Your answer does not even have a correct size.
7 
name_exo=Exercise.
 7 
name_exo=Exercise.
8 
 
 8 
 
9 
!distribute item It is always applicable,\
 9 
!distribute item It is always applicable,\
10 
	Only when\
 10 
	Only when\
11 
	into ct_Always, ct_Onlywhen
 11 
  into ct_Always, ct_Onlywhen
12 
 
 12 
 
13 
!distribute item Starting hypotheses,\
 13 
!distribute item Starting hypotheses,\
14 
  New hypothesis,\
 14 
  New hypothesis,\
15 
  Now you have,\
 15 
  Now you have,\
16 
  Still to prove\
 16 
  Still to prove\