log Gutil.agda @ 126:d5f093061b46

age author description
2020-08-27 Shinji KONO tc fix
2020-08-17 Shinji KONO ...
2020-08-17 Shinji KONO Gutil base Solvable.agda@4c462880b1e7