TITLE     : HAL (History dependant Automata Laboratory) - online version [Release 1.2]
AUTHOR(S) : Gnesi S, Pistore M, Trentanni G
TYPE      : Software
YEAR      : 2003
CODE      : 149482

*** DO NOT EDIT THIS FILE ***