]>
-rw-r--r-- | 1197 | approxeq_2.ma | blob | raw |
-rw-r--r-- | 1221 | approxeqsn_3.ma | blob | raw |
-rw-r--r-- | 1311 | approxeqsn_6.ma | blob | raw |
-rw-r--r-- | 1254 | atomicarity_4.ma | blob | raw |
-rw-r--r-- | 1230 | freeplus_3.ma | blob | raw |
-rw-r--r-- | 1191 | ideq_2.ma | blob | raw |
-rw-r--r-- | 1216 | ideq_3.ma | blob | raw |
-rw-r--r-- | 1217 | ideqsn_3.ma | blob | raw |
-rw-r--r-- | 1282 | inwbrackets_5.ma | blob | raw |
-rw-r--r-- | 1223 | lrsubeqa_3.ma | blob | raw |
-rw-r--r-- | 1197 | lrsubeqc_2.ma | blob | raw |
-rw-r--r-- | 1242 | lrsubeqc_4.ma | blob | raw |
-rw-r--r-- | 1269 | lrsubeqf_4.ma | blob | raw |
-rw-r--r-- | 1228 | rdrop_3.ma | blob | raw |
-rw-r--r-- | 1253 | rdropstar_4.ma | blob | raw |
-rw-r--r-- | 1219 | relation_3.ma | blob | raw |
-rw-r--r-- | 1239 | relation_4.ma | blob | raw |
-rw-r--r-- | 1263 | relation_5.ma | blob | raw |
-rw-r--r-- | 1244 | relationstar_4.ma | blob | raw |
-rw-r--r-- | 1228 | rlift_3.ma | blob | raw |
-rw-r--r-- | 1248 | rlift_4.ma | blob | raw |
-rw-r--r-- | 1233 | rliftstar_3.ma | blob | raw |
-rw-r--r-- | 1188 | simple_1.ma | blob | raw |
-rw-r--r-- | 1217 | stareq_3.ma | blob | raw |
-rw-r--r-- | 1240 | stareq_4.ma | blob | raw |
-rw-r--r-- | 1239 | stareqsn_4.ma | blob | raw |
-rw-r--r-- | 1331 | stareqsn_7.ma | blob | raw |
-rw-r--r-- | 1265 | subseteq_4.ma | blob | raw |
-rw-r--r-- | 1308 | supterm_6.ma | blob | raw |
-rw-r--r-- | 1330 | supterm_7.ma | blob | raw |
-rw-r--r-- | 1314 | suptermopt_6.ma | blob | raw |
-rw-r--r-- | 1336 | suptermopt_7.ma | blob | raw |
-rw-r--r-- | 1313 | suptermplus_6.ma | blob | raw |
-rw-r--r-- | 1335 | suptermplus_7.ma | blob | raw |
-rw-r--r-- | 1313 | suptermstar_6.ma | blob | raw |
-rw-r--r-- | 1335 | suptermstar_7.ma | blob | raw |
-rw-r--r-- | 1192 | tilde_2.ma | blob | raw |
-rw-r--r-- | 1199 | tildeminus_2.ma | blob | raw |
-rw-r--r-- | 1249 | voidstareq_4.ma | blob | raw |