/src/HOL/Modelcheck/
drwxr-xr-x [up]
-rw-r--r-- 1998-12-07 18:26 +0100 429 CTL.thy
-rw-r--r-- 1998-12-07 18:26 +0100 672 Example.ML
-rw-r--r-- 1998-12-07 18:26 +0100 693 Example.thy
-rw-r--r-- 1998-12-07 18:26 +0100 1026 MCSyn.ML
-rw-r--r-- 1998-12-07 18:26 +0100 1030 MCSyn.thy
-rw-r--r-- 1998-12-07 18:26 +0100 855 MuCalculus.ML
-rw-r--r-- 1998-12-07 18:26 +0100 708 MuCalculus.thy
-rw-r--r-- 1998-12-07 18:26 +0100 1406 README.html
-rw-r--r-- 1998-12-07 18:26 +0100 238 ROOT.ML