made some of the theorem look-ups static (by using
thm instead of PureThy.get_thm)
## $Id$### targetsdefault: dvi## dependenciesdvi: cd Isar/document; make dvipdf: cd Isar/document; make pdfclean: cd Isar/document; make cleanmrproper: rm -f *.pdf *.dvi cd Isar/document; make mrproper