OSDN Git Service

Remove write_state/5.
authorSimon Forman <sforman@hushmail.com>
Mon, 22 Jul 2019 00:56:34 +0000 (17:56 -0700)
committerSimon Forman <sforman@hushmail.com>
Mon, 22 Jul 2019 00:56:34 +0000 (17:56 -0700)
commit66d8a3be47ab0ae63eb1e904d1f3c6e816a9e931
treeea2b09590de7501b18f31361d966a84fe559c846
parent6818abb3ce0ef273b182e0def08774e7122c9dd8
Remove write_state/5.
thun/TLA.pl