/[mojave]/metaprl/theories/itt/itt_collection.ml
ViewVC logotype

Diff of /metaprl/theories/itt/itt_collection.ml

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

revision 3590 by nogin, Wed Jul 25 20:21:35 2001 UTC revision 3591 by nogin, Sun Apr 28 19:51:58 2002 UTC
# Line 506  Line 506 
506     cup slot{'x} `":" slot{'X} `"." slot{'C}     cup slot{'x} `":" slot{'X} `"." slot{'C}
507    
508  dform col_filter_df : except_mode[src] :: col_filter{'C; x.'P} =  dform col_filter_df : except_mode[src] :: col_filter{'C; x.'P} =
509        pushm[3] `"< " bvar{'x} `":" slot{'C} `" | " slot{'P} `">" popm        pushm[3] `"< " bvar{'x} `":" slot{'C} mid slot{'P} `">" popm
510    
511  dform isect_df : except_mode[src] :: parens :: "prec"[prec_tunion] :: "isect"{'S; s. 'C} =  dform isect_df : except_mode[src] :: parens :: "prec"[prec_tunion] :: "isect"{'S; s. 'C} =
512     cap slot{'s} `":" slot{'S} `"." slot{'C}     cap slot{'s} `":" slot{'S} `"." slot{'C}

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

  ViewVC Help
Powered by ViewVC 1.1.26