Commit Graph

453 Commits

Author SHA1 Message Date
Philipp Möller 63c34025b2 * Fiddling with \hasModels and \refines.
* Number_types package
2012-06-13 14:29:48 +00:00
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