| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2024-04-26 13:25 +0200 | 22357 | Core_Nits.thy | file | revisions | annotate |
| -rw-r--r-- | 2024-04-26 13:25 +0200 | 2297 | Datatype_Nits.thy | file | revisions | annotate |
| -rw-r--r-- | 2024-04-26 13:25 +0200 | 2283 | Hotel_Nits.thy | file | revisions | annotate |
| -rw-r--r-- | 2024-04-26 13:25 +0200 | 3496 | Induct_Nits.thy | file | revisions | annotate |
| -rw-r--r-- | 2024-04-26 13:25 +0200 | 6420 | Integer_Nits.thy | file | revisions | annotate |
| -rw-r--r-- | 2024-04-26 13:25 +0200 | 14249 | Manual_Nits.thy | file | revisions | annotate |
| -rw-r--r-- | 2024-04-26 13:25 +0200 | 7355 | Mini_Nits.thy | file | revisions | annotate |
| -rw-r--r-- | 2024-04-26 13:25 +0200 | 10643 | Mono_Nits.thy | file | revisions | annotate |
| -rw-r--r-- | 2024-04-26 13:25 +0200 | 378 | Nitpick_Examples.thy | file | revisions | annotate |
| -rw-r--r-- | 2024-04-26 13:25 +0200 | 2628 | Pattern_Nits.thy | file | revisions | annotate |
| -rw-r--r-- | 2024-04-26 13:25 +0200 | 2116 | Record_Nits.thy | file | revisions | annotate |
| -rw-r--r-- | 2024-04-26 13:25 +0200 | 25625 | Refute_Nits.thy | file | revisions | annotate |
| -rw-r--r-- | 2024-04-26 13:25 +0200 | 6136 | Special_Nits.thy | file | revisions | annotate |
| -rw-r--r-- | 2024-04-26 13:25 +0200 | 322 | Tests_Nits.thy | file | revisions | annotate |
| -rw-r--r-- | 2024-04-26 13:25 +0200 | 4950 | Typedef_Nits.thy | file | revisions | annotate |
| -rw-r--r-- | 2024-04-26 13:25 +0200 | 20709 | minipick.ML | file | revisions | annotate |