#
16920d84 |
|
24-Jan-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Start merging finite_map/dictionary theories into one directory Aim is to also include src/enumfset, possibly also the balanced_bst development from examples, and a CakeML theory (alist_tree). With all this stuff in the same place, we reduce branching under src/ and get better concurrency when building.
|