blob: d9d951f5d01ee0c43027978d542f85551d6c943a (plain)

ofs	hex dump	ascii
0000	43 61 6d 6c 31 39 39 39 49 30 32 38 84 95 a6 be 00 00 04 b2 00 00 00 f9 00 00 03 d7 00 00 03 bf	Caml1999I028....................
0020	a0 25 4c 6f 67 69 63 a0 c1 a0 27 66 6f 72 6d 75 6c 61 01 01 06 08 00 00 38 00 40 40 91 a0 e0 a0	.%Logic...'formula......8.@@....
0040	25 46 61 6c 73 65 00 51 90 40 40 b0 c0 29 6c 6f 67 69 63 2e 6d 6c 69 42 5d 6c c0 04 02 42 5d 71	%False.Q.@@..)logic.mliB]l...B]q
0060	40 40 a1 04 11 41 a0 e0 a0 23 56 61 72 00 52 90 a0 c0 b3 90 a3 26 73 74 72 69 6e 67 4f 40 90 40	@@...A...#Var.R......&stringO@.@
0080	02 05 f5 e1 00 40 00 db 40 40 b0 c0 04 11 42 5d 72 c0 04 12 42 5d 00 41 40 40 a1 04 21 42 a0 e0	.....@..@@....B]r...B].A@@..!B..
00a0	a0 23 49 6d 70 00 53 90 a0 c0 b3 90 04 27 40 90 40 02 05 f5 e1 00 40 00 da a0 c0 b3 04 05 40 90	.#Imp.S......'@.@.....@.......@.
00c0	40 02 05 f5 e1 00 40 00 d9 40 40 b0 c0 04 23 42 5d 00 42 c0 04 24 42 5d 00 5c 40 40 a1 04 33 43	@.....@..@@...#B].B..$B].\@@..3C
00e0	40 41 40 40 40 40 40 b0 c0 04 27 42 5d 5d 04 04 40 40 40 a0 40 40 a1 04 37 40 41 40 a0 b0 a0 30	@A@@@@@...'B]]..@@@.@@..7@A@...0
0100	70 70 5f 70 72 69 6e 74 5f 66 6f 72 6d 75 6c 61 01 01 07 d0 c0 c1 40 c0 b3 a1 a1 90 92 26 53 74	pp_print_formula......@......&St
0120	64 6c 69 62 26 46 6f 72 6d 61 74 29 66 6f 72 6d 61 74 74 65 72 40 90 40 02 05 f5 e1 00 40 00 dc	dlib&Format)formatter@.@.....@..
0140	c0 c1 40 c0 b3 04 23 40 90 40 02 05 f5 e1 00 40 00 dd c0 b3 90 a3 24 75 6e 69 74 46 40 90 40 02	..@...#@.@.....@......$unitF@.@.
0160	05 f5 e1 00 40 00 de 40 02 05 f5 e1 00 40 00 df 40 02 05 f5 e1 00 40 00 e0 40 b0 c0 04 47 44 00	....@..@.....@..@.....@..@...GD.
0180	5e 00 5e c0 04 48 44 00 5e 01 00 98 40 40 a1 04 57 44 40 a0 c1 a0 27 74 68 65 6f 72 65 6d 01 01	^.^..HD.^...@@..WD@...'theorem..
01a0	08 08 00 00 38 00 40 40 40 41 40 40 40 40 40 b0 c0 04 50 47 01 00 ba 01 00 ba c0 04 51 47 01 00	....8.@@@A@@@@@...PG........QG..
01c0	ba 01 00 c6 40 40 40 04 2a a1 04 60 45 41 40 a0 b0 a0 2b 61 73 73 75 6d 70 74 69 6f 6e 73 01 01	....@@@.*..`EA@...+assumptions..
01e0	09 d0 c0 c1 40 c0 b3 90 04 11 40 90 40 02 05 f5 e1 00 40 00 e1 c0 b3 90 a3 24 6c 69 73 74 49 a0	....@.....@.@.....@......$listI.
0200	c0 b3 04 4a 40 90 40 02 05 f5 e1 00 40 00 e2 40 90 40 02 05 f5 e1 00 40 00 e3 40 02 05 f5 e1 00	...J@.@.....@..@.@.....@..@.....
0220	40 00 e4 40 b0 c0 04 69 4a 01 00 e7 01 00 e7 c0 04 6a 4a 01 00 e7 01 01 10 40 40 a1 04 79 46 40	@..@...iJ........jJ......@@..yF@
0240	a0 b0 a0 2b 63 6f 6e 73 65 71 75 65 6e 63 65 01 01 0a d0 c0 c1 40 c0 b3 04 19 40 90 40 02 05 f5	...+consequence......@....@.@...
0260	e1 00 40 00 e5 c0 b3 04 5c 40 90 40 02 05 f5 e1 00 40 00 e6 40 02 05 f5 e1 00 40 00 e7 40 b0 c0	..@.....\@.@.....@..@.....@..@..
0280	04 7a 4c 01 01 28 01 01 28 c0 04 7b 4c 01 01 28 01 01 4c 40 40 a1 04 8a 47 40 a0 b0 a0 30 70 70	.zL..(..(..{L..(..L@@...G@...0pp
02a0	5f 70 72 69 6e 74 5f 74 68 65 6f 72 65 6d 01 01 0b d0 c0 c1 40 c0 b3 a1 a1 04 53 26 46 6f 72 6d	_print_theorem......@.....S&Form
02c0	61 74 29 66 6f 72 6d 61 74 74 65 72 40 90 40 02 05 f5 e1 00 40 00 e8 c0 c1 40 c0 b3 04 33 40 90	at)formatter@.@.....@....@...3@.
02e0	40 02 05 f5 e1 00 40 00 e9 c0 b3 90 04 50 40 90 40 02 05 f5 e1 00 40 00 ea 40 02 05 f5 e1 00 40	@.....@......P@.@.....@..@.....@
0300	00 eb 40 02 05 f5 e1 00 40 00 ec 40 b0 c0 04 95 4e 01 01 4e 01 01 4e c0 04 96 4e 01 01 4e 01 01	..@.....@..@....N..N..N...N..N..
0320	88 40 40 a1 04 a5 48 40 a0 b0 a0 2d 62 79 5f 61 73 73 75 6d 70 74 69 6f 6e 01 01 0c d0 c0 c1 40	.@@...H@...-by_assumption......@
0340	c0 b3 04 85 40 90 40 02 05 f5 e1 00 40 00 ed c0 b3 04 48 40 90 40 02 05 f5 e1 00 40 00 ee 40 02	....@.@.....@.....H@.@.....@..@.
0360	05 f5 e1 00 40 00 ef 40 b0 c0 04 a6 54 01 01 e0 01 01 e0 c0 04 a7 54 01 01 e0 01 02 06 40 40 a1	....@..@....T.........T......@@.
0380	04 b6 49 40 a0 b0 a0 25 69 6d 70 5f 69 01 01 0d d0 c0 c1 40 c0 b3 04 96 40 90 40 02 05 f5 e1 00	..I@...%imp_i......@....@.@.....
03a0	40 00 f0 c0 c1 40 c0 b3 04 5b 40 90 40 02 05 f5 e1 00 40 00 f1 c0 b3 04 5e 40 90 40 02 05 f5 e1	@....@...[@.@.....@.....^@.@....
03c0	00 40 00 f2 40 02 05 f5 e1 00 40 00 f3 40 02 05 f5 e1 00 40 00 f4 40 b0 c0 04 bc 5c 01 02 8a 01	.@..@.....@..@.....@..@....\....
03e0	02 8a c0 04 bd 5c 01 02 8a 01 02 b3 40 40 a1 04 cc 4a 40 a0 b0 a0 25 69 6d 70 5f 65 01 01 0e d0	.....\......@@...J@...%imp_e....
0400	c0 c1 40 c0 b3 04 6c 40 90 40 02 05 f5 e1 00 40 00 f5 c0 c1 40 c0 b3 04 71 40 90 40 02 05 f5 e1	..@...l@.@.....@....@...q@.@....
0420	00 40 00 f6 c0 b3 04 74 40 90 40 02 05 f5 e1 00 40 00 f7 40 02 05 f5 e1 00 40 00 f8 40 02 05 f5	.@.....t@.@.....@..@.....@..@...
0440	e1 00 40 00 f9 40 b0 c0 04 d2 64 01 03 54 01 03 54 c0 04 d3 64 01 03 54 01 03 7d 40 40 a1 04 e2	..@..@....d..T..T...d..T..}@@...
0460	4b 40 a0 b0 a0 25 62 6f 74 5f 65 01 01 0f d0 c0 c1 40 c0 b3 04 c2 40 90 40 02 05 f5 e1 00 40 00	K@...%bot_e......@....@.@.....@.
0480	fa c0 c1 40 c0 b3 04 87 40 90 40 02 05 f5 e1 00 40 00 fb c0 b3 04 8a 40 90 40 02 05 f5 e1 00 40	...@....@.@.....@......@.@.....@
04a0	00 fc 40 02 05 f5 e1 00 40 00 fd 40 02 05 f5 e1 00 40 00 fe 40 b0 c0 04 e8 6c 01 03 e7 01 03 e7	..@.....@..@.....@..@....l......
04c0	c0 04 e9 6c 01 03 e7 01 04 10 40 40 a1 04 f8 4c 40 40 84 95 a6 be 00 00 00 eb 00 00 00 23 00 00	...l......@@...L@@...........#..
04e0	00 83 00 00 00 69 a0 a0 25 4c 6f 67 69 63 90 30 e2 54 10 2e 5c ed ae 1c f5 12 43 4c 08 27 a7 23	.....i..%Logic.0.T..\.....CL.'.#
0500	a0 a0 2d 53 74 64 6c 69 62 5f 5f 75 63 68 61 72 90 30 ab 6f 1d f9 3a bf 9e 80 0a 3e 0d 15 43 52	..-Stdlib__uchar.0.o..:....>..CR
0520	3c 96 a0 a0 2b 53 74 64 6c 69 62 5f 5f 73 65 71 90 30 d6 a8 de 25 c9 ee cf 5a e9 42 0a 9f 3f 8b	<...+Stdlib__seq.0...%...Z.B..?.
0540	2e 88 a0 a0 2e 53 74 64 6c 69 62 5f 5f 66 6f 72 6d 61 74 90 30 de 2a 0c c4 d0 ca 0c c2 18 de 74	.....Stdlib__format.0.*........t
0560	47 f4 8a aa 41 a0 a0 2e 53 74 64 6c 69 62 5f 5f 62 75 66 66 65 72 90 30 23 4b 61 fa 39 06 00 38	G...A...Stdlib__buffer.0#Ka.9..8
0580	22 20 52 87 eb 65 a4 81 a0 a0 26 53 74 64 6c 69 62 90 30 c2 1c 5d 26 41 64 61 b5 43 32 18 72 a5	".R..e....&Stdlib.0..]&Ada.C2.r.
05a0	51 ea 0d a0 a0 38 43 61 6d 6c 69 6e 74 65 72 6e 61 6c 46 6f 72 6d 61 74 42 61 73 69 63 73 90 30	Q....8CamlinternalFormatBasics.0
05c0	3a 3c a1 83 86 27 f7 76 2f 49 67 9c e0 27 8a d1 40 84 95 a6 be 00 00 00 04 00 00 00 02 00 00 00	:<...'.v/Ig..'..@...............
05e0	05 00 00 00 05 a0 90 40 40	.......@@