Commit Graph

203 Commits

Author SHA1 Message Date
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