author | nipkow |
Wed, 24 Nov 1999 12:12:36 +0100 | |
changeset 8029 | 05446a898852 |
parent 8028 | 5357e8eb09c8 |
child 8030 | af8db1872960 |
src/HOL/IMP/Com.thy | file | annotate | diff | comparison | revisions | |
src/HOL/IMP/Transition.thy | file | annotate | diff | comparison | revisions |