src/HOL/Isar_examples/document/style.tex

--- a/src/HOL/Isar_examples/document/style.tex	Wed Nov 17 11:16:26 1999 +0100
+++ b/src/HOL/Isar_examples/document/style.tex	Wed Nov 17 15:03:23 1999 +0100
@@ -24,6 +24,9 @@
 \newcommand{\disj}{\lor}
 \newcommand{\Impl}{\Longrightarrow}
 
+\newcommand{\Nat}{\mathord{\mathrm{I}\mkern-3.8mu\mathrm{N}}}
+
+
 %%% Local Variables: 
 %%% mode: latex
 %%% TeX-master: "root"