--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/GeneralRec.v	Wed Oct 26 11:19:52 2011 -0400
@@ -0,0 +1,20 @@
+(* Copyright (c) 2006, 2011, Adam Chlipala
+ * 
+ * This work is licensed under a
+ * Creative Commons Attribution-Noncommercial-No Derivative Works 3.0
+ * Unported License.
+ * The license text is available at:
+ *   http://creativecommons.org/licenses/by-nc-nd/3.0/
+ *)
+
+(* begin hide *)
+Require Import List.
+
+Require Import CpdtTactics.
+
+Set Implicit Arguments.
+(* end hide *)
+
+
+(** %\chapter{General Recursion}% *)
+