| Sun, 09 Sep 2018 13:48:20 +0200 | wenzelm | proper binding positions within the defining command transaction; | changeset | files |
| Sun, 09 Sep 2018 13:44:48 +0200 | wenzelm | smash position to avoid position of other file "~~/src/HOL/BNF_Composition.thy" (due to "bnf ID"), e.g. relevant for "HOL-Nominal-Examples.Class1"; | changeset | files |
| Sun, 09 Sep 2018 13:40:14 +0200 | wenzelm | clarified message; | changeset | files |
| Sun, 09 Sep 2018 12:02:30 +0200 | wenzelm | tuned message; | changeset | files |
| Sun, 09 Sep 2018 11:53:53 +0200 | wenzelm | clarified theory progress; | changeset | files |
| Sat, 08 Sep 2018 22:52:12 +0200 | wenzelm | tuned message; | changeset | files |