src/HOL/Nitpick_Examples/Tests_Nits.thy
author blanchet
Fri Feb 05 14:27:21 2010 +0100 (2010-02-05)
changeset 35076 cc19e2aef17e
parent 33232 f93390060bbe
child 37495 650fae5eea93
permissions -rw-r--r--
added hotel key card example for Nitpick, and renumber atoms in Nitpick's output for increased readability
blanchet@33197
     1
(*  Title:      HOL/Nitpick_Examples/Tests_Nits.thy
blanchet@33197
     2
    Author:     Jasmin Blanchette, TU Muenchen
blanchet@35076
     3
    Copyright   2009, 2010
blanchet@33197
     4
blanchet@33197
     5
Nitpick tests.
blanchet@33197
     6
*)
blanchet@33197
     7
blanchet@33197
     8
header {* Nitpick Tests *}
blanchet@33197
     9
blanchet@33197
    10
theory Tests_Nits
blanchet@33197
    11
imports Main
blanchet@33197
    12
begin
blanchet@33197
    13
blanchet@33232
    14
ML {* Nitpick_Tests.run_all_tests () *}
blanchet@33197
    15
blanchet@33197
    16
end