Sun, 08 Oct 2017 22:28:21 +0200 | haftmann | generalized simproc | changeset | files |
Sun, 08 Oct 2017 22:28:21 +0200 | haftmann | replaced recdef were easy to replace | changeset | files |
Sun, 08 Oct 2017 22:28:21 +0200 | haftmann | elementary definition of division on natural numbers | changeset | files |