History log of /seL4-l4v-master/isabelle/src/Pure/thm_name.scala
Revision Date Author Comments
# ae97bedc 19-Aug-2019 wenzelm <none@none>

clarified signature;
# 7f21e626 19-Aug-2019 wenzelm <none@none>

module Thm_Name for Isabelle/Scala;