User Activity

  • Committed [c1b87e]

    added lemmas to OrderedGroup.thy (reasoning about signs, absolute value, triangle inequalities)

  • Committed [00d8f9]

    Additions to the Real (and Hyperreal) libraries:

  • Committed [5c9d59]

    fixed typos in theorem names

  • Committed [7cb4bc]

    added list of theorem changes to NEWS

  • Committed [d37453]

    Added two new theories to HOL/Library: SetsAndFunctions.thy and BigO.thy

  • Committed [17a0c4]

    added a new theory; properties of ln

  • Committed [7db2d2]

    changed import to Ln

  • Committed [9c5871]

    fixed minor typo in comments

View All

Personal Data

Username:
avigad
Joined:
2005-07-17 01:34:01

Projects

  • No projects to display.

Skills

  • No skills entered.

Personal Tools