55 Commits

Author	SHA1	Message	Date
Christian Grothoff	fe51219d58	slight improvements	2015-05-09 22:51:12 +02:00
Christian Grothoff	15c4126295	slight clarifications	2015-05-09 19:37:54 +02:00
Christian Grothoff	d7e38031a9	define G	2015-04-22 18:42:52 +02:00
Christian Grothoff	6878f2e793	fixing #3779: typos in paper	2015-04-22 18:41:50 +02:00
Christian Grothoff	57d1f08dbc	-initial import for mint	2015-01-08 18:37:20 +01:00