log systemT.agda @ 13:5a81867278af default tip

age author description
2014-05-21 Yasutaka Higa Proof add-sym
2014-05-13 Yasutaka Higa Add De Morgan's laws
2014-05-09 Yasutaka Higa Define Bool, Int, D and R