History log of /seL4-l4v-master/isabelle/src/Pure/General/value.scala
Revision Date Author Comments
# 74af86d3 11-Dec-2018 wenzelm <none@none>

more uniform multi-language operations;
misc tuning and clarification;


# ddd21937 11-Dec-2018 wenzelm <none@none>

more operations (as in ML);


# 5a595c0e 08-Sep-2018 wenzelm <none@none>

more accurate output;


# c341123d 07-Sep-2018 wenzelm <none@none>

tuned signature;


# d023295c 05-Sep-2016 wenzelm <none@none>

clarified modules;