summaryrefslogtreecommitdiff
path: root/theories/Logic/ConstructiveEpsilon.v
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2010-08-10 19:22:57 +0200
committerGravatar Stephane Glondu <steph@glondu.net>2010-08-10 19:22:57 +0200
commitaae7cec8d7f5048215b7ed06a8e94cb032bfd21a (patch)
tree77a6a3492bdb7dd48aef640506ad7ba2edb148cc /theories/Logic/ConstructiveEpsilon.v
parentbb08a887b65a76da05885018c831ed14432d50b6 (diff)
Prepare upload to experimentaldebian/8.3.rc1+dfsg-1
Diffstat (limited to 'theories/Logic/ConstructiveEpsilon.v')
0 files changed, 0 insertions, 0 deletions