User Activity

  • Committed [50955f]

    added missing credits to FWF

  • Committed [607f60]

    add indentation at the beginning instead of end...

  • Committed [b6293a]

    use Named_Target.theory_map

  • Committed [6ebb38]

    no setup-function in signature, but immediately...

  • Committed [7c519d]

    dropped "local_derive" (which can be simulated ...

  • Committed [a14e53]

    added methods to locally derive something

  • Committed [2cef1b]

    add more generic version of define_overloaded

  • Committed [ae1e2e]

    added ML-antiquotation in the style of @{map n}...

View All

Personal Data

Username:
rthiemann
Joined:
2011-09-21 07:18:32

Projects

Skills

  • No skills entered.

Personal Tools