| Mon, 26 Jun 2017 15:57:20 +0200 | wenzelm | proper bootstrap_name (amending b42743f5b595); | changeset | files |
| Mon, 26 Jun 2017 11:07:48 +0200 | wenzelm | clarified indentation; | changeset | files |
| Mon, 26 Jun 2017 16:59:44 +0100 | paulson | More tidying of horrible proofs | changeset | files |
| Mon, 26 Jun 2017 14:26:03 +0100 | paulson | A few renamings and several tidied-up proofs | changeset | files |
| Sat, 24 Jun 2017 21:23:48 +0200 | wenzelm | back to scala-2.12.2, after a41435469559; | changeset | files |
| Sat, 24 Jun 2017 09:17:35 +0200 | haftmann | more direct construction of integer_of_num; | changeset | files |
| Sat, 24 Jun 2017 09:17:33 +0200 | haftmann | treat "undefined" constants internally as special form of case combinators | changeset | files |