changeset 23854 | 688a8a7bcd4e |
parent 17024 | ae4a8446df16 |
child 24104 | 719fbe4fb77f |
23853:2c69bb1374b8 | 23854:688a8a7bcd4e |
---|---|
9 else |
9 else |
10 (proofs := 2; |
10 (proofs := 2; |
11 time_use_thy "QuotRem"; |
11 time_use_thy "QuotRem"; |
12 time_use_thy "Warshall"; |
12 time_use_thy "Warshall"; |
13 time_use_thy "Higman"; |
13 time_use_thy "Higman"; |
14 no_document time_use_thy "EfficientNat"; |
14 no_document time_use_thy "Efficient_Nat"; |
15 time_use_thy "Pigeonhole"); |
15 time_use_thy "Pigeonhole"); |