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 |