History log of /seL4-l4v-10.1.1/HOL4/src/parse/PrecAnalysis.sig
Revision Date Author Comments
# ede4d6e9 09-Aug-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

src/parse compiles but parser broken.

Completed change to remove LISTRULE form from grammar. Instead, all
list syntax is handled with embedded ListForms within normal rules.


# 7944f9bc 09-Aug-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

Write a function to find possible "list" reductions within a phrase

Will need lots of test-cases as it's painfully complicated


# e8895bc2 08-Aug-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

WIP for change to list syntax handling.

Very broken at the moment