author | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Wed, 26 Feb 2014 11:49:45 +0000 (12:49 +0100) | ||
committer | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Wed, 26 Feb 2014 11:49:45 +0000 (12:49 +0100) | ||
commit | aad47e05ef1567285aca67b3c8030e36929703b4 | |
tree | c5fc45821f2a7c0277eccb385dfda0f786c84de5 | tree | snapshot |
parent | bec4b138090e87fe92c970ca98010e60707c44f9 | commit | diff |
BFF.agda | diff | blob | history | |
BFFPlug.agda | diff | blob | history | |
Bidir.agda | diff | blob | history | |
Precond.agda | diff | blob | history |