History log of /seL4-l4v-10.1.1/HOL4/src/search/dftScript.sml
Revision Date Author Comments
# 8f675fbe 07-Aug-2016 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Avoid warning message when loading dftTheory.
# 0b6b8ba9 09-Jun-2016 Konrad Slind <konrad.slind@gmail.com>

added breadth-first traversal to src/search. Also broke out the representation of directed graphs into dirGraphTheory
# bd77b8fb 20-Oct-2015 Michael Norrish <Michael.Norrish@nicta.com.au>

Delete trailing whitespace
# f84e658d 20-Sep-2015 Konrad Slind <konrad.slind@gmail.com>

added depth-first search. BFS to come