NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]ASB/2021-10-26 21:52 -  
[DIR]PERRAD/2020-08-28 16:56 -  
[DIR]STBEY/2017-05-23 16:37 -  
[TXT]DFA-Kleene-1.0.readme1997-08-06 23:51 1.2K 
[GZ]DFA-Kleene-1.0.tar.gz1997-08-07 08:09 5.2K 
[TXT]DFA-Simple-0.34.readme2018-11-07 18:18 666  
[GZ]DFA-Simple-0.34.tar.gz2018-11-07 18:30 20K 
[TXT]DFA-Statemap-1.00.readme2008-05-15 18:38 267  
[GZ]DFA-Statemap-1.00.tar.gz2008-05-24 09:55 3.2K 
[TXT]DFA-Statemap-1.01.readme2008-05-15 18:38 267  
[GZ]DFA-Statemap-1.01.tar.gz2016-06-04 09:46 3.5K