drwxr-xr-x | [up] | |||
-rw-r--r-- | 2010-05-27 18:10 +0200 | 18359 | Abstraction.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 2711 | Asig.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 20595 | Automata.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 9303 | CompoExecs.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 18626 | CompoScheds.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 30575 | CompoTraces.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 2434 | Compositionality.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 2541 | Deadlock.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 199 | IOA.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 2774 | LiveIOA.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 1474 | Pred.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 10839 | RefCorrectness.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 3210 | RefMappings.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 7164 | Seq.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 29665 | Sequence.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 7312 | ShortExecutions.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 9053 | SimCorrectness.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 2535 | Simulations.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 4712 | TL.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 5120 | TLS.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 12179 | Traces.thy | file | revisions | annotate |
-rw-r--r-- | 2010-05-27 18:10 +0200 | 19771 | automaton.ML | file | revisions | annotate |