
diff -r 039845fc96bd -r c9ff326e3ce5 CookBook/document/root.tex
--- a/CookBook/document/root.tex	Fri Feb 13 14:15:28 2009 +0000
+++ b/CookBook/document/root.tex	Sat Feb 14 00:11:50 2009 +0000
@@ -113,6 +113,10 @@
 {\begin{tabular*}{#1}{#2}}{\end{tabular*}}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% short hands
+\def\simpleinductive{\isacommand{simple\isacharunderscore{}inductive}}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{document}
 
 \title{\mbox{}\\[-10ex]




