User Activity

  • Committed [ca88e1]

    updated for continuous_closed_vimage

  • Committed [784daf]

    renaming of theorems from the HOL libraries

  • Committed [ccbaec]

    deleted redundant theorem

  • Committed [480099]

    added missing .bib file

  • Committed [e8bf27]

    Missing .bib file added. Still not working

  • Committed [0b34ce]

    new entry AnselmGod

  • Committed [32e072]

    AnselmGod website

  • Committed [351aec]

    revisions to text by author

View All

Personal Data

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

Projects

Skills

  • No skills entered.

Personal Tools