patch ddc-head: SystemF2: use regular list_cases tactic instead of lift_cases'

[Ben Lippmeier]

Sun Aug 14 01:38:10 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * SystemF2: use regular list_cases tactic instead of lift_cases'

    M ./proof/DDC/Language/SystemF2/TySubsts.v -15 +1

-- 
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe