History log of /seL4-l4v-master/isabelle/src/Pure/thm_name.ML
Revision Date Author Comments
# 438cc573 20-Aug-2019 wenzelm <none@none>

clarified signature;
# 560e81a6 19-Aug-2019 wenzelm <none@none>

tuned;
# ce09c78f 19-Aug-2019 wenzelm <none@none>

clarified modules;