1 files changed, 3 insertions, 0 deletions
diff --git a/main.urs b/main.urs
index f9c083b..9eb43a4 100644
--- a/main.urs
+++ b/main.urs
@@ -1,4 +1,5 @@
 (* Copyright 2016 Benjamin Barenblat
+Copyright 2016 Chelsea Voss
 
 Licensed under the Apache License, Version 2.0 (the “License”); you may not use
 this file except in compliance with the License.  You may obtain a copy of the
@@ -12,3 +13,5 @@ CONDITIONS OF ANY KIND, either express or implied.  See the License for the
 specific language governing permissions and limitations under the License. *)
 
 val main : transaction page
+
+val new : transaction page