Lines Matching defs:count
51 val count =
126 | Trans => #TRANS) count)
137 List.app (fn f => f count := 0)
139 fun prims () = List.foldl (fn (f, c) => !(f count) + c) 0 l
142 fun axioms () = !(#AXIOM count)
143 fun defns () = !(#DEFINITION count)
144 fun from_disk () = !(#FROM_DISK count)
145 fun oracles () = !(#ORACLE count)
150 {ABS = !(#ABS count),
151 ALPHA = !(#ALPHA count),
152 AP_TERM = !(#AP_TERM count),
153 AP_THM = !(#AP_THM count),
154 ASSUME = !(#ASSUME count),
155 BETA_CONV = !(#BETA_CONV count),
156 CCONTR = !(#CCONTR count),
157 CHOOSE = !(#CHOOSE count),
158 CONJ = !(#CONJ count),
159 CONJUNCT1 = !(#CONJUNCT1 count),
160 CONJUNCT2 = !(#CONJUNCT2 count),
161 DISCH = !(#DISCH count),
162 DISJ1 = !(#DISJ1 count),
163 DISJ2 = !(#DISJ2 count),
164 DISJ_CASES = !(#DISJ_CASES count),
165 EQ_IMP_RULE = !(#EQ_IMP_RULE count),
166 EQ_MP = !(#EQ_MP count),
167 EXISTS = !(#EXISTS count),
168 GEN = !(#GEN count),
169 GEN_ABS = !(#GEN_ABS count),
170 INST = !(#INST count),
171 INST_TYPE = !(#INST_TYPE count),
172 MK_COMB = !(#MK_COMB count),
173 MP = !(#MP count),
174 NOT_ELIM = !(#NOT_ELIM count),
175 NOT_INTRO = !(#NOT_INTRO count),
176 REFL = !(#REFL count),
177 SPEC = !(#SPEC count),
178 SUBST = !(#SUBST count),
179 SYM = !(#SYM count),
180 TRANS = !(#TRANS count),
181 axiom = !(#AXIOM count),
182 definition = !(#DEFINITION count),
183 from_disk = !(#FROM_DISK count),
184 oracle = !(#ORACLE count),