Commits

Paweł Wieczorek committed f50ce25

ok

  • Participants
  • Parent commits fbd10d0
  • Branches another_weird_rule

Comments (0)

Files changed (2)

Nbe/Model/LogRelSb.v

 clear_inversion H8.
 clear_inversion H3.
 
-2dependent inversion HDT; subst.
+dependent inversion HDT; subst.
 
 rename i into HDempty.
 rename i0 into HInterp.

Nbe/Model/LogRelTm.v

 
 
 
+*)
+
 admit.
-*)
-
 
 (*Dfun b) *)