/src/HOL/IOA/
drwxr-xr-x [up]
-rw-r--r-- 2006-04-10 16:00 +0200 527 Asig.ML
-rw-r--r-- 2006-04-10 16:00 +0200 1246 Asig.thy
-rw-r--r-- 2006-04-10 16:00 +0200 6504 IOA.ML
-rw-r--r-- 2006-04-10 16:00 +0200 6412 IOA.thy
-rw-r--r-- 2006-04-10 16:00 +0200 767 README.html
-rw-r--r-- 2006-04-10 16:00 +0200 802 ROOT.ML
-rw-r--r-- 2006-04-10 16:00 +0200 7594 Solve.ML
-rw-r--r-- 2006-04-10 16:00 +0200 616 Solve.thy