| Fri, 17 Apr 2020 17:32:11 +0200 | blanchet | removed LaTeX package and hack to avoid ALLCAPS headers | changeset | files |
| Fri, 17 Apr 2020 17:19:41 +0200 | blanchet | use friendlier package | changeset | files |
| Thu, 16 Apr 2020 18:41:09 +0200 | wenzelm | move virtual machine node; | changeset | files |
| Thu, 16 Apr 2020 08:09:32 +0200 | haftmann | generalized | changeset | files |
| Thu, 16 Apr 2020 08:09:31 +0200 | haftmann | more theorems | changeset | files |
| Thu, 16 Apr 2020 08:09:30 +0200 | haftmann | another rule on numerals | changeset | files |
| Thu, 16 Apr 2020 08:09:29 +0200 | haftmann | bit on numerals | changeset | files |