| Sat, 29 Feb 2020 17:16:17 +0100 | wenzelm | more Isabelle/jEdit actions; | changeset | files |
| Sat, 29 Feb 2020 16:38:59 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 29 Feb 2020 16:30:30 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 28 Feb 2020 21:23:11 +0100 | traytel | tuned lift_bnf's user interface for quotients | changeset | files |
| Fri, 28 Feb 2020 22:23:43 +0100 | wenzelm | NEWS; | changeset | files |
| Fri, 28 Feb 2020 21:34:04 +0100 | wenzelm | updated to polyml-5.8.1-20200228 test version (Poly/ML 6025c250b4f1); | changeset | files |
| Fri, 28 Feb 2020 16:40:28 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 27 Feb 2020 13:27:49 +0100 | wenzelm | more complete signature; | changeset | files |
| Thu, 27 Feb 2020 12:58:03 +0100 | wenzelm | more complete signature; | changeset | files |
| Thu, 27 Feb 2020 12:27:49 +0100 | wenzelm | clarified versions -- more reproducible build; | changeset | files |
| Thu, 27 Feb 2020 12:18:16 +0100 | nipkow | removed dead lemma | changeset | files |
| Wed, 26 Feb 2020 23:49:16 +0100 | nipkow | simplified proofs | changeset | files |