Rename src -> theories

0ae4f4a7 · Jakob Botsch Nielsen · 6c960f42 · 0ae4f4a7 · 0ae4f4a7 · 0ae4f4a7
Commit 0ae4f4a7 authored May 28, 2019 by Jakob Botsch Nielsen
--- a/_CoqProject
+++ b/_CoqProject
-R src SmartContracts
+-R theories SmartContracts
-src/Automation.v
+theories/Automation.v
-src/Blockchain.v
+theories/Blockchain.v
-src/BoundedN.v
+theories/BoundedN.v
-src/ChainedList.v
+theories/ChainedList.v
-src/Circulation.v
+theories/Circulation.v
-src/Congress.v
+theories/Congress.v
-src/Congress_Buggy.v
+theories/Congress_Buggy.v
-src/Containers.v
+theories/Containers.v
-src/Extras.v
+theories/Extras.v
-src/Finite.v
+theories/Finite.v
-src/LocalBlockchain.v
+theories/LocalBlockchain.v
-src/LocalBlockchainTests.v
+theories/LocalBlockchainTests.v
-src/Monads.v
+theories/Monads.v
-src/Oak.v
+theories/Oak.v
 -R vendor/record-update RecordUpdate
 vendor/record-update/RecordSet.v
 vendor/record-update/RecordUpdate.v
--- a/src/Automation.v
+++ b/src/Automation.v
--- a/src/Blockchain.v
+++ b/src/Blockchain.v
--- a/src/BoundedN.v
+++ b/src/BoundedN.v
--- a/src/ChainedList.v
+++ b/src/ChainedList.v
--- a/src/Circulation.v
+++ b/src/Circulation.v
--- a/src/Congress.v
+++ b/src/Congress.v
--- a/src/Congress_Buggy.v
+++ b/src/Congress_Buggy.v
--- a/src/Containers.v
+++ b/src/Containers.v
--- a/src/Extras.v
+++ b/src/Extras.v
--- a/src/Finite.v
+++ b/src/Finite.v
--- a/src/LocalBlockchain.v
+++ b/src/LocalBlockchain.v
--- a/src/LocalBlockchainTests.v
+++ b/src/LocalBlockchainTests.v
--- a/src/Monads.v
+++ b/src/Monads.v
--- a/src/Oak.v
+++ b/src/Oak.v