Index of /version/7.11.06_4.145.1096/html/proofs/turing_1
Name Last modified Size Description
Parent Directory -
4_1_1 2010-06-01 23:30 1.2K
91_1_1 2010-06-01 23:30 1.4K
91_2_1 2010-06-01 23:30 1.4K
5_1_1 2010-06-01 23:30 1.4K
56 2010-06-01 23:30 1.5K
49 2010-06-01 23:30 1.6K
62 2010-06-01 23:30 1.6K
71 2010-06-01 23:30 1.6K
79 2010-06-01 23:30 1.6K
2_1_1 2010-06-01 23:30 2.2K
46 2010-06-01 23:30 2.3K
61 2010-06-01 23:30 2.3K
70 2010-06-01 23:30 2.3K
78 2010-06-01 23:30 2.3K
31_1_2 2010-06-01 23:30 2.3K
29_1_2 2010-06-01 23:30 2.4K
21_1_1 2010-06-01 23:30 2.5K
24 2010-06-01 23:30 3.3K
22_1_1 2010-06-01 23:30 3.7K
31_1_1 2010-06-01 23:30 4.0K
6 2010-06-01 23:30 4.2K
101 2010-06-01 23:30 4.7K
23_1_1 2010-06-01 23:30 4.8K
86 2010-06-01 23:30 5.0K
87 2010-06-01 23:30 5.0K
102 2010-06-01 23:30 5.2K
89_1_1 2010-06-01 23:30 5.6K
90_1_1 2010-06-01 23:30 5.6K
13 2010-06-01 23:30 6.0K
48 2010-06-01 23:30 6.9K
12_1_1 2010-06-01 23:30 7.0K
29_1_1 2010-06-01 23:30 7.7K
17_1_1 2010-06-01 23:30 8.0K
36 2010-06-01 23:30 8.7K
27 2010-06-01 23:30 8.8K
85 2010-06-01 23:30 9.1K
96_1_1 2010-06-01 23:30 9.4K
45_1_1 2010-06-01 23:30 9.4K
60_1_1 2010-06-01 23:30 9.4K
23_1_2 2010-06-01 23:30 9.5K
69_1_1 2010-06-01 23:30 9.7K
77_1_1 2010-06-01 23:30 9.7K
1_1_1 2010-06-01 23:30 9.8K
7 2010-06-01 23:30 10K
8 2010-06-01 23:30 10K
14 2010-06-01 23:30 11K
51 2010-06-01 23:30 11K
63 2010-06-01 23:30 11K
72 2010-06-01 23:30 11K
80 2010-06-01 23:30 11K
96_1_2 2010-06-01 23:30 12K
95_1_2 2010-06-01 23:30 12K
104 2010-06-01 23:30 12K
25 2010-06-01 23:30 13K
38 2010-06-01 23:30 13K
52 2010-06-01 23:30 13K
50 2010-06-01 23:30 14K
43 2010-06-01 23:30 15K
26 2010-06-01 23:30 15K
88 2010-06-01 23:30 16K
97_1_1 2010-06-01 23:30 16K
37 2010-06-01 23:30 17K
39 2010-06-01 23:30 17K
30 2010-06-01 23:30 17K
103 2010-06-01 23:30 18K
41 2010-06-01 23:30 21K
95_1_1 2010-06-01 23:30 21K
75_1_1 2010-06-01 23:30 22K
67_1_1 2010-06-01 23:30 23K
40 2010-06-01 23:30 24K
99 2010-06-01 23:30 25K
105 2010-06-01 23:30 26K
98 2010-06-01 23:30 27K
58_1_1 2010-06-01 23:30 27K
32_1_1 2010-06-01 23:30 31K
57 2010-06-01 23:30 33K
66 2010-06-01 23:30 35K
83 2010-06-01 23:30 38K
74 2010-06-01 23:30 38K
44 2010-06-01 23:30 41K
42 2010-06-01 23:30 47K
76 2010-06-01 23:30 49K
68 2010-06-01 23:30 50K
53 2010-06-01 23:30 50K
81 2010-06-01 23:30 106K
59 2010-06-01 23:30 116K
73 2010-06-01 23:30 130K
82 2010-06-01 23:30 169K
100 2010-06-01 23:30 181K
33 2010-06-01 23:30 222K
65 2010-06-01 23:30 275K
54 2010-06-01 23:30 409K