/doc-src/IsarOverview/Isar/document/
drwxr-xr-x [up]
-rw-r--r-- 2007-08-03 22:33 +0200 17 .cvsignore
-rw-r--r-- 2007-08-03 22:33 +0200 31071 Induction.tex
-rw-r--r-- 2007-08-03 22:33 +0200 63637 Logic.tex
-rw-r--r-- 2007-08-03 22:33 +0200 436 Makefile
-rw-r--r-- 2007-08-03 22:33 +0200 8289 intro.tex
-rw-r--r-- 2007-08-03 22:33 +0200 7591 isabelle.sty
-rw-r--r-- 2007-08-03 22:33 +0200 19100 isabellesym.sty
-rw-r--r-- 2007-08-03 22:33 +0200 42328 llncs.cls
-rw-r--r-- 2007-08-03 22:33 +0200 539 pdfsetup.sty
-rw-r--r-- 2007-08-03 22:33 +0200 2365 root.bib
-rw-r--r-- 2007-08-03 22:33 +0200 1301 root.tex
-rw-r--r-- 2007-08-03 22:33 +0200 111 session.tex