/src/HOL/Integ/ Isabelle94-3
drwxr-xr-x [up]
-rw-r--r-- 1995-04-25 11:14 +0200 9021 Equiv.ML
-rw-r--r-- 1995-04-25 11:14 +0200 1114 Equiv.thy
-rw-r--r-- 1995-04-25 11:14 +0200 24297 Integ.ML
-rw-r--r-- 1995-04-25 11:14 +0200 2330 Integ.thy
-rw-r--r-- 1995-04-25 11:14 +0200 345 ROOT.ML
-rw-r--r-- 1995-04-25 11:14 +0200 3064 Relation.ML
-rw-r--r-- 1995-04-25 11:14 +0200 853 Relation.thy