History log of /seL4-l4v-master/HOL4/src/tfl/examples/regexp.deriv
Revision Date Author Comments
# e1393ea0 18-Oct-2008 Konrad Slind <konrad.slind@gmail.com>

Mods to get examples working again.
# 92a05184 21-May-2004 Konrad Slind <konrad.slind@gmail.com>

Incremental changes to regexp stuff.
# b4951a65 23-Mar-2004 Konrad Slind <konrad.slind@gmail.com>

Added some "smart" constructors to make the matcher run faster.
The examples have been updated to work, and some new examples
have been added. There is also some simple laws for regular
expressions.
# f364c074 16-Mar-2004 Konrad Slind <konrad.slind@gmail.com>

Preliminary development of Brzozowski's derivatives of
regular expressions.