HomeIsabelle/Phabricator

updated DFA and NFA to use intermediate layer

Description

updated DFA and NFA to use intermediate layer

Details

Committed
Julian Brunner <julianbrunner@gmail.com>Mon, Feb 10, 9:15 PM
Parents
rAFPe77e24b46bdc: significantly reduced amoutn of boilerplate
Branches
Unknown
Tags
Unknown

Event Timeline