:: On the compositions of macro instructions
:: by Andrzej Trybulec , Yatsuka Nakamura and Noriko Asamoto
::
:: Received June 20, 1996
:: Copyright (c) 1996 Association of Mizar Users
:: deftheorem defines Directed SCMFSA6A:def 1 :
:: deftheorem defines Directed SCMFSA6A:def 2 :
theorem :: SCMFSA6A:1
canceled;
theorem :: SCMFSA6A:2
canceled;
theorem :: SCMFSA6A:3
canceled;
theorem :: SCMFSA6A:4
canceled;
theorem :: SCMFSA6A:5
canceled;
theorem :: SCMFSA6A:6
canceled;
theorem :: SCMFSA6A:7
canceled;
theorem :: SCMFSA6A:8
canceled;
theorem :: SCMFSA6A:9
canceled;
theorem :: SCMFSA6A:10
canceled;
theorem :: SCMFSA6A:11
canceled;
theorem :: SCMFSA6A:12
canceled;
theorem :: SCMFSA6A:13
canceled;
theorem :: SCMFSA6A:14
canceled;
:: deftheorem defines Macro SCMFSA6A:def 3 :
theorem Th15: :: SCMFSA6A:15
theorem Th16: :: SCMFSA6A:16
theorem Th17: :: SCMFSA6A:17
theorem :: SCMFSA6A:18
theorem :: SCMFSA6A:19
theorem :: SCMFSA6A:20
canceled;
theorem Th21: :: SCMFSA6A:21
theorem Th22: :: SCMFSA6A:22
:: deftheorem defines Initialized SCMFSA6A:def 4 :
theorem Th23: :: SCMFSA6A:23
theorem Th24: :: SCMFSA6A:24
theorem :: SCMFSA6A:25
theorem Th26: :: SCMFSA6A:26
theorem :: SCMFSA6A:27
canceled;
theorem Th28: :: SCMFSA6A:28
theorem :: SCMFSA6A:29
canceled;
theorem Th30: :: SCMFSA6A:30
theorem Th31: :: SCMFSA6A:31
theorem :: SCMFSA6A:32
theorem :: SCMFSA6A:33
theorem :: SCMFSA6A:34
theorem :: SCMFSA6A:35
theorem :: SCMFSA6A:36
theorem :: SCMFSA6A:37
theorem Th38: :: SCMFSA6A:38
theorem :: SCMFSA6A:39
theorem :: SCMFSA6A:40
canceled;
theorem :: SCMFSA6A:41
theorem :: SCMFSA6A:42
theorem Th43: :: SCMFSA6A:43
theorem Th44: :: SCMFSA6A:44
theorem Th45: :: SCMFSA6A:45
theorem Th46: :: SCMFSA6A:46
theorem Th47: :: SCMFSA6A:47
theorem Th48: :: SCMFSA6A:48
theorem Th49: :: SCMFSA6A:49
theorem Th50: :: SCMFSA6A:50
theorem Th51: :: SCMFSA6A:51
theorem :: SCMFSA6A:52
theorem :: SCMFSA6A:53
:: deftheorem defines ';' SCMFSA6A:def 5 :
theorem :: SCMFSA6A:54
theorem :: SCMFSA6A:55
theorem Th56: :: SCMFSA6A:56
theorem :: SCMFSA6A:57
theorem :: SCMFSA6A:58
:: deftheorem defines ';' SCMFSA6A:def 6 :
:: deftheorem defines ';' SCMFSA6A:def 7 :
:: deftheorem defines ';' SCMFSA6A:def 8 :
theorem :: SCMFSA6A:59
theorem :: SCMFSA6A:60
theorem Th61: :: SCMFSA6A:61
theorem :: SCMFSA6A:62
theorem Th63: :: SCMFSA6A:63
theorem Th64: :: SCMFSA6A:64
theorem Th65: :: SCMFSA6A:65
theorem Th66: :: SCMFSA6A:66
theorem Th67: :: SCMFSA6A:67
theorem :: SCMFSA6A:68
theorem :: SCMFSA6A:69
theorem :: SCMFSA6A:70
theorem :: SCMFSA6A:71
theorem :: SCMFSA6A:72
theorem :: SCMFSA6A:73
theorem :: SCMFSA6A:74