Thu, 03 Jul 1997 17:21:14 +0200 Modified the \tydx command to set types in italics instead of \tt
paulson [Thu, 03 Jul 1997 17:21:14 +0200] rev 3491
Modified the \tydx command to set types in italics instead of \tt
Thu, 03 Jul 1997 17:20:07 +0200 Some LaTeX-2e primitives such as \texttt
paulson [Thu, 03 Jul 1997 17:20:07 +0200] rev 3490
Some LaTeX-2e primitives such as \texttt A bit of material on theories Primes and Primrec
Thu, 03 Jul 1997 17:17:45 +0200 Added documentation for recdef, and tidied some other material
paulson [Thu, 03 Jul 1997 17:17:45 +0200] rev 3489
Added documentation for recdef, and tidied some other material
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip