TITLE     : HAL (History Dependent Automata Laboratory) - online version [Release 2.1]
AUTHOR(S) : Gnesi S, Pistore M, Trentanni G
TYPE      : Software
YEAR      : 2004
CODE      : 373826

*** DO NOT EDIT THIS FILE ***