Skip to content
Success

Changes

Summary

  1. made an FCB -lemma more general by using the type-class at_base
Changeset 6933:9bef7458ce97 by christian urban _christian dot urban at kcl dot ac dot uk_:
made an FCB -lemma more general by using the type-class at_base
The file was modified thys/Nominal2/Nominal2_FCB.thy (diff)