User Activity

  • Committed [67ffbf]

    deleted leading space in the definition of fresh

  • Committed [23e6cf]

    Added (optional) arguments to the tactics

  • Committed [f6abea]

    fixed case names in the weak induction principle and

  • Committed [6d69a4]

    1) have adjusted the swapping of the result type

  • Committed [b73899]

    Changed Simplifier.simp_modifiers to Simplifier.simp_modifiers'.

  • Committed [3d643b]

    simplified the abs_supp_approx proof and tuned some comments in

  • Committed [700330]

    tuned my last commit

  • Committed [004515]

    tunings of some comments (nothing serious)

View All

Personal Data

Username:
urbanc
Joined:
2011-08-26 08:09:33

Projects

  • No projects to display.

Personal Tools