User Activity

  • Committed [1ba01c]

    Changed prioriy of vector_scalar_mult

  • Committed [f6427b]

    Added Convex_Euclidean_Space.thy

  • Committed [2c7f2b]

    merged

  • Committed [60a53b]

    Added Convex_Euclidean_Space to Library.thy and Library/IsaMakefile

  • Committed [8ef7ba]

    corrected problem in Determinants

  • Committed [b4d4db]

    Corrected definition of is_interval

  • Committed [b98cbf]

    Moved some lemmas about intervals to Topology

  • Committed [86093a]

    Removed Convex_Euclidean_Space.thy from Library.

View All

Personal Data

Username:
himmelma
Joined:
2008-02-01 16:44:49

Projects

This is a list of open source software projects that Robert Himmelmann is associated with:

Personal Tools

MongoDB Logo MongoDB