/doc-src/Tutorial/Ifexpr/
drwxr-xr-x [up]
-rw-r--r-- 2000-04-15 15:00 +0200 331 Exercise.ML
-rw-r--r-- 2000-04-15 15:00 +0200 890 Exercise.thy
-rw-r--r-- 2000-04-15 15:00 +0200 354 Ifexpr.ML
-rw-r--r-- 2000-04-15 15:00 +0200 1346 Ifexpr.thy
-rw-r--r-- 2000-04-15 15:00 +0200 155 Makefile
-rw-r--r-- 2000-04-15 15:00 +0200 18 ROOT.ML
-rw-r--r-- 2000-04-15 15:00 +0200 218 bool2if
-rw-r--r-- 2000-04-15 15:00 +0200 44 bool2if.ML
-rw-r--r-- 2000-04-15 15:00 +0200 88 boolex
-rw-r--r-- 2000-04-15 15:00 +0200 4 end
-rw-r--r-- 2000-04-15 15:00 +0200 55 ifex
-rw-r--r-- 2000-04-15 15:00 +0200 135 norm
-rw-r--r-- 2000-04-15 15:00 +0200 41 norm.ML
-rw-r--r-- 2000-04-15 15:00 +0200 197 normal
-rw-r--r-- 2000-04-15 15:00 +0200 23 normal_norm.ML
-rw-r--r-- 2000-04-15 15:00 +0200 59 normal_normif.ML
-rw-r--r-- 2000-04-15 15:00 +0200 201 normif
-rw-r--r-- 2000-04-15 15:00 +0200 62 normif.ML
-rw-r--r-- 2000-04-15 15:00 +0200 16 prolog
-rw-r--r-- 2000-04-15 15:00 +0200 36 proof.ML
-rw-r--r-- 2000-04-15 15:00 +0200 228 valif
-rw-r--r-- 2000-04-15 15:00 +0200 204 value