Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
append_encoding1.pl | 2001-01-24 21:54 | 436 | ||
append_encoding2.pl | 2001-02-06 04:37 | 432 | ||
dcg_encoding.pl | 2001-01-24 22:04 | 209 | ||
dcg_linguistic.pl | 2001-01-25 00:03 | 438 | ||
dcg_tree.pl | 2001-01-25 00:00 | 386 | ||
diff_list_encoding.pl | 2001-01-24 21:58 | 343 | ||