src/Pure/thm_name.scala
Fri, 01 Apr 2022 17:06:10 +0200 wenzelm clarified formatting, for the sake of scala3;
Mon, 19 Aug 2019 21:31:54 +0200 wenzelm clarified signature;
Mon, 19 Aug 2019 19:31:31 +0200 wenzelm module Thm_Name for Isabelle/Scala;
less more (0) tip