/doc-src/Tutorial/Recdef/
drwxr-xr-x [up]
-rw-r--r-- 2000-04-15 15:00 +0200 74 ROOT.ML
-rw-r--r-- 2000-04-15 15:00 +0200 165 Sep1.thy
-rw-r--r-- 2000-04-15 15:00 +0200 155 Sep2.thy
-rw-r--r-- 2000-04-15 15:00 +0200 182 ack
-rw-r--r-- 2000-04-15 15:00 +0200 31 constsgcd
-rw-r--r-- 2000-04-15 15:00 +0200 4 end
-rw-r--r-- 2000-04-15 15:00 +0200 18 exprolog
-rw-r--r-- 2000-04-15 15:00 +0200 124 fib
-rw-r--r-- 2000-04-15 15:00 +0200 138 gcd
-rw-r--r-- 2000-04-15 15:00 +0200 122 last
-rw-r--r-- 2000-04-15 15:00 +0200 172 sep
-rw-r--r-- 2000-04-15 15:00 +0200 107 sep1
-rw-r--r-- 2000-04-15 15:00 +0200 54 sep1prolog
-rw-r--r-- 2000-04-15 15:00 +0200 137 sep2
-rw-r--r-- 2000-04-15 15:00 +0200 14 sep2prolog