author | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Thu, 3 Apr 2014 13:33:06 +0000 (15:33 +0200) | ||
committer | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Thu, 3 Apr 2014 13:33:06 +0000 (15:33 +0200) | ||
commit | 91db824bfa4d66f29066a381e88e6e3125e15576 | |
tree | 4780568bd65d1e68a12f02b6fd22a83acb0ed6be | tree | snapshot |
parent | 9d97d3c3cb339b3e78257d19e383df4d3f5bcc74 | commit | diff |
Instances.agda | diff | blob | history |