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

*** DO NOT EDIT THIS FILE ***