459 Commits

Author	SHA1	Message	Date
Philipp Möller	a680b4475c	Add a batch of additional commands for easier description building.	2012-07-26 17:45:48 +00:00
Andreas Fabri	0c0eebde4c	Change the color to make it more readable, and make mathjax less bold	2012-06-21 13:00:41 +00:00
Andreas Fabri	fc1f1b2b91	Change the color to make it more readable, and make mathjax less bold	2012-06-21 12:59:45 +00:00
Philipp Möller	9b0bf475e6	Matrix_search	2012-06-20 12:10:35 +00:00
Philipp Möller	9d0678d397	Modular arithmetic	2012-06-14 14:53:29 +00:00
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
Philipp Möller	c7e83a401b	base manuals	2012-06-01 16:51:35 +00:00