Changeset 2491


Ignore:
Timestamp:
Nov 26, 2012, 11:30:03 AM (7 years ago)
Author:
tranquil
Message:

fixed wrt change of list member definition

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/semantics.ma

    r2484 r2491  
    494494  lapply prf
    495495  elim globals [*]
    496   #hd #tl #IH * [@eq_identifier_elim #H * >H %1 % ]
     496  #hd #tl #IH #H elim (orb_Prop_true … H) -H
     497  [@eq_identifier_elim #H * >H %1 % ]
    497498  #G %2 @IH @G
    498499| @(description_of_internal_function … prf)
Note: See TracChangeset for help on using the changeset viewer.