drwxr-xr-x | [up] | |||
-rw-r--r-- | 2015-12-30 21:56 +0100 | 18871 | Abstraction.thy | file | revisions | annotate |
-rw-r--r-- | 2015-12-30 21:56 +0100 | 2726 | Asig.thy | file | revisions | annotate |
-rw-r--r-- | 2015-12-30 21:56 +0100 | 20825 | Automata.thy | file | revisions | annotate |
-rw-r--r-- | 2015-12-30 21:56 +0100 | 9484 | CompoExecs.thy | file | revisions | annotate |
-rw-r--r-- | 2015-12-30 21:56 +0100 | 19014 | CompoScheds.thy | file | revisions | annotate |
-rw-r--r-- | 2015-12-30 21:56 +0100 | 30697 | CompoTraces.thy | file | revisions | annotate |
-rw-r--r-- | 2015-12-30 21:56 +0100 | 2476 | Compositionality.thy | file | revisions | annotate |
-rw-r--r-- | 2015-12-30 21:56 +0100 | 2606 | Deadlock.thy | file | revisions | annotate |
-rw-r--r-- | 2015-12-30 21:56 +0100 | 205 | IOA.thy | file | revisions | annotate |
-rw-r--r-- | 2015-12-30 21:56 +0100 | 2920 | LiveIOA.thy | file | revisions | annotate |
-rw-r--r-- | 2015-12-30 21:56 +0100 | 1077 | Pred.thy | file | revisions | annotate |
-rw-r--r-- | 2015-12-30 21:56 +0100 | 10835 | RefCorrectness.thy | file | revisions | annotate |
-rw-r--r-- | 2015-12-30 21:56 +0100 | 3272 | RefMappings.thy | file | revisions | annotate |
-rw-r--r-- | 2015-12-30 21:56 +0100 | 7195 | Seq.thy | file | revisions | annotate |
-rw-r--r-- | 2015-12-30 21:56 +0100 | 30197 | Sequence.thy | file | revisions | annotate |
-rw-r--r-- | 2015-12-30 21:56 +0100 | 7474 | ShortExecutions.thy | file | revisions | annotate |
-rw-r--r-- | 2015-12-30 21:56 +0100 | 9036 | SimCorrectness.thy | file | revisions | annotate |
-rw-r--r-- | 2015-12-30 21:56 +0100 | 2541 | Simulations.thy | file | revisions | annotate |
-rw-r--r-- | 2015-12-30 21:56 +0100 | 5295 | TL.thy | file | revisions | annotate |
-rw-r--r-- | 2015-12-30 21:56 +0100 | 5340 | TLS.thy | file | revisions | annotate |
-rw-r--r-- | 2015-12-30 21:56 +0100 | 12307 | Traces.thy | file | revisions | annotate |