drwxr-xr-x | [up] | |||
-rw-r--r-- | 1998-03-06 15:19 +0100 | 20584 | Abstraction.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 2468 | Abstraction.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 2039 | Asig.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 1129 | Asig.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 17754 | Automata.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 8360 | Automata.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 9277 | CompoExecs.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 1991 | CompoExecs.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 19056 | CompoScheds.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 2081 | CompoScheds.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 42244 | CompoTraces.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 1933 | CompoTraces.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 3080 | Compositionality.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 233 | Compositionality.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 3158 | Deadlock.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 215 | Deadlock.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 179 | IOA.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 261 | IOA.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 2105 | LiveIOA.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 1700 | LiveIOA.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 1859 | Pred.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 10785 | RefCorrectness.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 2113 | RefCorrectness.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 3100 | RefMappings.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 1179 | RefMappings.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 14133 | Seq.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 3243 | Seq.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 35979 | Sequence.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 2433 | Sequence.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 8677 | ShortExecutions.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 1377 | ShortExecutions.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 9928 | SimCorrectness.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 1160 | SimCorrectness.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 786 | Simulations.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 2440 | Simulations.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 5652 | TL.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 1761 | TL.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 2500 | TLS.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 1890 | TLS.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 7891 | Traces.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 5610 | Traces.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 1043 | TrivEx.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 1495 | TrivEx.thy | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 1860 | TrivEx2.ML | file | revisions | annotate |
-rw-r--r-- | 1998-03-06 15:19 +0100 | 1721 | TrivEx2.thy | file | revisions | annotate |