History log of /seL4-l4v-master/HOL4/src/coalgebras/ltreeScript.sml
Revision Date Author Comments
# c7ac62ae 22-Nov-2020 Michael Norrish <michael.norrish@data61.csiro.au>

Make case-expressions pretty-print for llist and ltree types
# 6f97b576 05-Jul-2020 Michael Norrish <michael.norrish@data61.csiro.au>

Fix Unicode violation in 12f41f346
# 79ddaf4b 30-Jun-2020 Magnus Myreen <magnus.myreen@cl.cam.ac.uk>

Fix typos and separate equivalence thms
# 12f41f34 30-Jun-2020 Magnus Myreen <magnus.myreen@cl.cam.ac.uk>

Add a theory about lazy (rose) trees to src/coalgebras