drwxr-xr-x | [up] | |||
-rw-r--r-- | 2009-10-17 14:43 +0200 | 18358 | Abstraction.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 2732 | Asig.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 20615 | Automata.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 9343 | CompoExecs.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 18694 | CompoScheds.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 30905 | CompoTraces.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 2455 | Compositionality.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 2562 | Deadlock.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 220 | IOA.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 2830 | LiveIOA.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 2052 | Pred.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 10871 | RefCorrectness.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 3230 | RefMappings.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 11566 | Seq.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 30040 | Sequence.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 7333 | ShortExecutions.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 9074 | SimCorrectness.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 2555 | Simulations.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 4732 | TL.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 5163 | TLS.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 12178 | Traces.thy | file | revisions | annotate |
-rw-r--r-- | 2009-10-17 14:43 +0200 | 19490 | automaton.ML | file | revisions | annotate |