Commit Graph

703 Commits

Author SHA1 Message Date
Philipp Möller d35457df3b Algebraic_foundations 2012-06-07 14:53:28 +00:00
Philipp Möller 71a48a31a9 Add a base configuration and the default manuals from the old branch 2012-06-04 13:55:22 +00:00
Philipp Möller c7e83a401b base manuals 2012-06-01 16:51:35 +00:00