aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/example.v
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2004-04-02 16:59:24 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2004-04-02 16:59:24 +0000
commit2a8f91fc3c959ff96a583326815b57e54d262e90 (patch)
treebcf5e371d7147329035a54f3d24841f3fdeb3c64 /coq/example.v
parent2a5709c354e09b06556f3f1e19bf2d9a5ad91564 (diff)
Remove three-buffer stuff (made generic)
Diffstat (limited to 'coq/example.v')
0 files changed, 0 insertions, 0 deletions