/[mojave]/metaprl/theories/czf/czf_itt_comment.ml
ViewVC logotype

Diff of /metaprl/theories/czf/czf_itt_comment.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3590 by nogin, Fri Jul 13 21:34:19 2001 UTC revision 3591 by nogin, Sun Apr 28 19:51:58 2002 UTC
# Line 178  Line 178 
178     izone `"{\\left\\{" ezone     izone `"{\\left\\{" ezone
179     slot{'x}     slot{'x}
180     izone `"\\in_s " ezone     izone `"\\in_s " ezone
181     slot{'s}     slot{'s} `"| " slot{'P}
    izone `"\\mathrel{|}" ezone  
    slot{'P}  
182     izone `"\\right\\}}" ezone     izone `"\\right\\}}" ezone
183    
184  dform restricted_df1 : mode[tex] :: math_restricted{'P} =  dform restricted_df1 : mode[tex] :: math_restricted{'P} =

Legend:
Removed from v.3590  
changed lines
  Added in v.3591

  ViewVC Help
Powered by ViewVC 1.1.26