move girard
authorAnders Mörtberg <andersmortberg@gmail.com>
Tue, 20 Jun 2017 15:58:25 +0000 (17:58 +0200)
committerAnders Mörtberg <andersmortberg@gmail.com>
Tue, 20 Jun 2017 15:58:25 +0000 (17:58 +0200)
experiments/girard.ctt [moved from examples/girard.ctt with 100% similarity]

similarity index 100%
rename from examples/girard.ctt
rename to experiments/girard.ctt