Bibliography file with paper by Matthes and Joachimski.

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Lambda/document/root.bib	Tue Jun 24 10:41:53 2003 +0200
@@ -0,0 +1,11 @@
+@Article{Matthes-Joachimski-AML,
+  author =       {Felix Joachimski and Ralph Matthes},
+  title =        {Short Proofs of Normalization for the simply-typed
+                  $\lambda$-calculus, permutative conversions and
+                  {G}{\"o}del's {T}},
+  journal =      {Archive for Mathematical Logic},
+  year =         2003,
+  volume =       42,
+  number =       1,
+  pages =        {59--87}
+}