Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
%auto-ignore
%this ensures the arxiv doesn't try to start TeXing here.
%!TEX root = ../blob1.tex
\input{\pathtotrunk preamble.tex}
\newtheorem{lemma}[prop]{Lemma}
\usepackage[pdftex,plainpages=false,hypertexnames=false,pdfpagelabels]{hyperref}
\usepackage{breakurl}
\usepackage[pdftex]{graphicx}
%must load tikz after graphicx
\usepackage{tikz}
\usetikzlibrary{shapes}
\usetikzlibrary{backgrounds}
\usetikzlibrary{decorations,decorations.pathreplacing}
\usetikzlibrary{fit,calc,through}
\newtheorem{example}[prop]{Example}
\usepackage{color}
% This switches fonts to the Palatino family.
%\renewcommand{\familydefault}{ppl}
%%% futzing with margins following Dror (from Karoubi)
%\marginparwidth 0pt%
%\marginparsep 0pt
%\textwidth 5.5in%
%\textheight 9.0in%
%\oddsidemargin 12pt%
%\evensidemargin 12pt%
%\topmargin -.6in%
%\headsep .5in
% margin stuff
\setlength{\textwidth}{6.5in}
\setlength{\oddsidemargin}{0in}
\setlength{\evensidemargin}{0in}
\setlength{\textheight}{8.5in}
\setlength{\topmargin}{-.25in}