Mercurial > hg > Members > atton > agda > systemT

diff systemT.agda @ 3:7138e79615b3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proof add-sym
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Wed, 21 May 2014 14:41:45 +0900
parents ca2e9f7a7898
children
line wrap: on
line diff
--- a/systemT.agda	Tue May 13 11:14:49 2014 +0900
+++ b/systemT.agda	Wed May 21 14:41:45 2014 +0900
@@ -14,5 +14,4 @@
 
 D : {U : Set} -> U -> U -> Bool -> U
 D u v F = v
-D u v T = u
-
+D u v T = u
\ No newline at end of file