projects / ~helmut / bidiragda.git / commit
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | |
| Fri, 6 Jun 2014 07:23:00 +0000 (09:23 +0200) | ||
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | |
| Fri, 6 Jun 2014 07:23:00 +0000 (09:23 +0200) | ||
| commit | 51dad2ec627203822e1879e3d58ae5331e58d414 | |
| tree | c48e1e7abd90f5d9a792f87b07370d9da299a9cd | tree | snapshot |
| parent | 91db824bfa4d66f29066a381e88e6e3125e15576 | commit | diff |
| Examples.agda | diff | blob | history |