equal
deleted
inserted
replaced
5 *) |
5 *) |
6 |
6 |
7 time_use_thy "Higher_Order_Logic"; |
7 time_use_thy "Higher_Order_Logic"; |
8 |
8 |
9 time_use_thy "Recdefs"; |
9 time_use_thy "Recdefs"; |
|
10 time_use_thy "InductiveInvariant_examples"; |
10 time_use_thy "Primrec"; |
11 time_use_thy "Primrec"; |
11 time_use_thy "Locales"; |
12 time_use_thy "Locales"; |
12 time_use_thy "Records"; |
13 time_use_thy "Records"; |
13 time_use_thy "MonoidGroup"; |
14 time_use_thy "MonoidGroup"; |
14 time_use_thy "StringEx"; |
15 time_use_thy "StringEx"; |