equal
deleted
inserted
replaced
4 |
4 |
5 Nitpick examples. |
5 Nitpick examples. |
6 *) |
6 *) |
7 |
7 |
8 theory Nitpick_Examples |
8 theory Nitpick_Examples |
9 imports Core_Nits Datatype_Nits Induct_Nits Manual_Nits Mini_Nits Mono_Nits |
9 imports Core_Nits Datatype_Nits Induct_Nits Integer_Nits Manual_Nits Mini_Nits |
10 Pattern_Nits Record_Nits Refute_Nits Special_Nits Tests_Nits |
10 Mono_Nits Pattern_Nits Record_Nits Refute_Nits Special_Nits Tests_Nits |
11 Typedef_Nits |
11 Typedef_Nits |
12 begin |
12 begin |
13 |
|
14 end |
13 end |