1
(* Title: HOL/Lex/Scanner.thy
2
ID: $Id$
3
Author: Tobias Nipkow
4
Copyright 1998 TUM
5
*)
6
7
Scanner = Automata + RegExp2NAe