HomeIsabelle/Phabricator
Diffusion Isabelle 7b8c366e34a2

added support for nonstandard models to Nitpick (based on an idea by Koen…
7b8c366e34a2
Actions

Description

added support for nonstandard models to Nitpick (based on an idea by Koen Claessen) and did other fixes to Nitpick

Details

Provenance
blanchetteAuthored on
Parents
rISABELLE475aef44d5fb: Removed explicit type annotations
Branches
Unknown
Tags
Unknown

Changes (22)

PathSize
doc-src/
Nitpick/
src/
HOL/
Nitpick_Examples/
Tools/
Nitpick/
Pure/
Isar/

rISABELLE7b8c366e34a2

View Options

doc-src/Nitpick/nitpick.tex

Loading...
View Options

src/HOL/Divides.thy

Loading...
View Options

src/HOL/Nitpick.thy

Loading...
View Options

src/HOL/Nitpick_Examples/Manual_Nits.thy

Loading...
View Options

src/HOL/Nitpick_Examples/Mono_Nits.thy

Loading...
View Options

src/HOL/Tools/Nitpick/HISTORY

Loading...
View Options

src/HOL/Tools/Nitpick/kodkod.ML

Loading...
View Options

src/HOL/Tools/Nitpick/kodkod_sat.ML

Loading...
View Options

src/HOL/Tools/Nitpick/minipick.ML

Loading...
View Options

src/HOL/Tools/Nitpick/nitpick.ML

Loading...
View Options

src/HOL/Tools/Nitpick/nitpick_hol.ML

Loading...
View Options

src/HOL/Tools/Nitpick/nitpick_isar.ML

Loading...
View Options

src/HOL/Tools/Nitpick/nitpick_kodkod.ML

Loading...
View Options

src/HOL/Tools/Nitpick/nitpick_model.ML

Loading...
View Options

src/HOL/Tools/Nitpick/nitpick_mono.ML

Loading...
View Options

src/HOL/Tools/Nitpick/nitpick_nut.ML

Loading...
View Options

src/HOL/Tools/Nitpick/nitpick_peephole.ML

Loading...
View Options

src/HOL/Tools/Nitpick/nitpick_rep.ML

Loading...
View Options

src/HOL/Tools/Nitpick/nitpick_scope.ML

Loading...
View Options

src/HOL/Tools/Nitpick/nitpick_tests.ML

Loading...
View Options

src/HOL/Tools/Nitpick/nitpick_util.ML

Loading...
View Options

src/Pure/Isar/proof_context.ML

Loading...