equal
deleted
inserted
replaced
3 Author: Tobias Nipkow |
3 Author: Tobias Nipkow |
4 Copyright 1998 TUM |
4 Copyright 1998 TUM |
5 *) |
5 *) |
6 |
6 |
7 Syntax.ambiguity_level := 100; |
7 Syntax.ambiguity_level := 100; |
|
8 proofs := 2; |
|
9 IsarOutput.modes := "no_brackets" :: !IsarOutput.modes; |
8 |
10 |
9 set timing; |
11 set timing; |
10 time_use_thy "Eta"; |
12 time_use_thy "Eta"; |
11 no_document time_use_thy "Accessible_Part"; |
13 no_document time_use_thy "Accessible_Part"; |
12 time_use_thy "Type"; |
14 time_use_thy "StrongNorm"; |
|
15 time_use_thy "WeakNorm"; |