log

age author description
2019-04-05 Shinji KONO fix
2019-04-05 Shinji KONO add coinduction
2018-12-22 Shinji KONO fix derive
2018-12-22 Shinji KONO seprate finite
2018-12-21 Shinji KONO using Fin id
2018-12-21 Shinji KONO list base CFG
2018-12-21 Shinji KONO cfg done
Loading...