Sat, 22 Jun 2019 16:23:25 +0200 | haftmann | made LaTeX happy | changeset | files |
Sat, 22 Jun 2019 07:18:55 +0000 | haftmann | streamlined setup for linear algebra, particularly removed redundant rule declarations | changeset | files |
Sat, 22 Jun 2019 06:25:34 +0000 | haftmann | tuned | changeset | files |
Fri, 21 Jun 2019 18:55:00 +0000 | haftmann | tuned | changeset | files |
Sun, 16 Jun 2019 16:40:57 +0000 | haftmann | even more appropriate fact name | changeset | files |
Sun, 16 Jun 2019 16:40:57 +0000 | haftmann | more correct indicator | changeset | files |
Fri, 14 Jun 2019 12:29:50 +0200 | haftmann | make latex happy | changeset | files |