log system-t.agda @ 684:5d9d7c2f2718

age author description
2017-06-08 Shinji KONO another snat-cong approach
2014-04-19 Shinji KONO fix
2014-03-29 Shinji KONO ditr on system T
2014-03-29 Shinji KONO assoc in sysem-T
2014-03-29 Shinji KONO sym of sum and mul in system T
2014-03-20 Shinji KONO R lemma
2014-03-15 Shinji KONO System T and System F