Name Last modified Size Description
Parent Directory - automata.tar.Z 1993-06-05 08:00 569K SUIT_bin_sparc.tar.Z 1993-05-19 08:00 300K petri.tar.Z 1993-05-19 08:00 60K petri.Z 1993-05-19 08:00 44K graph.c 1993-09-10 08:00 28K auto.txt 1993-06-01 08:00 17K petri.txt 1993-05-18 08:00 6.5K README 1993-06-01 08:00 1.8K graph.txt 1993-06-03 08:00 1.5K