Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

User Activity

  • Committed [e98764]

    Replacing some "hinsert" by the infix equivalent

  • Committed [1e911d]

    A tweak to the instructions

  • Committed [e8d9a5]

    new entry Pop_Refinement

  • Committed [a2ca86]

    metadata for Pop_Refinement

  • Committed [1e8ed5]

    No longer based on HOL-Library

  • Committed [da7175]

    new examples

  • Committed [acd2cc]

    replacing the ⋿ character by \<^bold>\<in>

  • Committed [9f7c67]

    fixed URLs

View All

Personal Data

Username:
lp15
Joined:
2004-02-13 17:05:47

Projects

Skills

  • No skills entered.

Personal Tools