wenzelm [Sat, 13 Feb 2010 23:24:57 +0100] rev 35123
modernized structures;
wenzelm [Sat, 13 Feb 2010 23:16:06 +0100] rev 35122
authentic proof syntax;
haftmann [Fri, 12 Feb 2010 14:28:01 +0100] rev 35121
tuned import order
haftmann [Fri, 12 Feb 2010 09:49:28 +0100] rev 35120
tuned comments
wenzelm [Thu, 11 Feb 2010 23:50:38 +0100] rev 35119
merged
wenzelm [Thu, 11 Feb 2010 23:00:22 +0100] rev 35118
modernized translations;
formal markup of @{syntax_const} and @{const_syntax};
minor tuning;
wenzelm [Thu, 11 Feb 2010 22:55:16 +0100] rev 35117
formal markup of @{syntax_const} and @{const_syntax};
authentic syntax for extra robustness;
wenzelm [Thu, 11 Feb 2010 22:19:58 +0100] rev 35116
modernized translations;
formal markup of @{syntax_const} and @{const_syntax};
wenzelm [Thu, 11 Feb 2010 22:06:37 +0100] rev 35115
numeral syntax: clarify parse trees vs. actual terms;
modernized translations;
formal markup of @{syntax_const} and @{const_syntax};
wenzelm [Thu, 11 Feb 2010 22:03:37 +0100] rev 35114
added ML antiquotation @{syntax_const};