src/Pure/Thy/thy_element.scala
Mon, 04 Apr 2022 23:33:14 +0200 wenzelm clarified signature: avoid ambiguity in scala3;
Fri, 01 Apr 2022 17:06:10 +0200 wenzelm clarified formatting, for the sake of scala3;
Mon, 18 Mar 2019 21:05:34 +0100 wenzelm tuned signature;
Wed, 29 Aug 2018 19:35:41 +0200 wenzelm tuned signature;
Wed, 29 Aug 2018 18:53:58 +0200 wenzelm support Thy_Element in Scala, following ML version;
less more (0) tip