User Activity

  • Committed [9023b8]

    simplify proofs of powerdomain inequalities

  • Committed [2949af]

    move lemmas to Deflation.thy

  • Committed [4244ff]

    add lemmas finite_deflation_imp_compact, cast_below_cast_iff

  • Committed [c62b4f]

    add lemma finite_deflation_intro

View All

Personal Data

Username:
brian_huffman
Joined:
2007-06-21 23:17:17

Projects

Skills

  • No skills entered.

Personal Tools