[POPLmark] How to believe the Twelf proof of 1a

[Randy Pollack]

Karl Crary writes:
 > The precise statement you want to check is that var is not subordinate 
 > to sub.
 > 
 > The notion of subordination is formalized in Roberto Virga's thesis.
 > [...]

According to acroread, the literal string "subord" does not occur in
Roberto Virga's thesis (CMU-CS-99-167).

Randy