| Wed, 22 Apr 2020 17:52:14 +0200 | wenzelm | tuned signature -- avoid warnings; | changeset | files |
| Wed, 22 Apr 2020 13:45:02 +0200 | wenzelm | more informative error; | changeset | files |
| Wed, 22 Apr 2020 17:22:17 +0200 | nipkow | new funs successive and distinct_adj | changeset | files |
| Wed, 22 Apr 2020 11:50:23 +0200 | nipkow | added lemmas | changeset | files |
| Tue, 21 Apr 2020 22:19:59 +0200 | wenzelm | clarified signature: avoid clash with Isabelle/Scala Term.OFCLASS on case-insensible file-system; | changeset | files |
| Tue, 21 Apr 2020 22:04:15 +0200 | wenzelm | clarified signature -- avoid warning; | changeset | files |