Index: doc/proposals/autogen.md
===================================================================
--- doc/proposals/autogen.md	(revision fbc84cac372de119b3e9078a5ac2dbb453b501ed)
+++ doc/proposals/autogen.md	(revision bfcd3af76db74e3dbbed12a62295035015729a46)
@@ -46,25 +46,25 @@
 
 Results in the following autogenerated expands to:
-    forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
+	forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
 	void ?{}(Cell(T)&);
-    forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
+	forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
 	void ?{}(Cell(T)&, Cell(T));
-    forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
+	forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
 	void ^?{}(Cell(T)&);
-    forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
+	forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
 	void ?=?(Cell(T)&, Cell(T));
-    forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
+	forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
 	void ?{}(Cell(T)&, T);
 
 If these assertions were reduced to the minimial required assertions the result would instead look something like the:
-    forall(T* | { void ?{}(T&); })
+	forall(T* | { void ?{}(T&); })
 	void ?{}(Cell(T)&);
-    forall(T* | { void ?{}(T&, T); })
+	forall(T* | { void ?{}(T&, T); })
 	void ?{}(Cell(T)&, Cell(T));
-    forall(T* | { void ^?{}(T&); })
+	forall(T* | { void ^?{}(T&); })
 	void ^?{}(Cell(T)&);
-    forall(T* | { T ?=?(T&, T); })
+	forall(T* | { T ?=?(T&, T); })
 	void ?=?(Cell(T)&, Cell(T));
-    forall(T* | { void ?{}(T&, T); })
+	forall(T* | { void ?{}(T&, T); })
 	void ?{}(Cell(T)&, T);