Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Spec_Check/Spec_Check.thy
author wenzelm
Sat, 17 Aug 2013 19:13:28 +0200
changeset 53052 a0db255af8c5
parent 52254 994055f7db80
permissions -rw-r--r--
sledgehammer sendback always uses Markup.padding_command: sensible default for most practical applications -- old-style in-line replacement is superseded by auto mode or panel; back to Normal mode: with output_result it is sufficient to determine TTY vs. PIDE operation;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
52248
2c893e0c1def added Spec_Check -- a Quickcheck tool for Isabelle's ML environment;
bulwahn
parents:
diff changeset 
     1
 
theory Spec_Check
2c893e0c1def added Spec_Check -- a Quickcheck tool for Isabelle's ML environment;
bulwahn
parents:
diff changeset 
     2
 
imports Main
2c893e0c1def added Spec_Check -- a Quickcheck tool for Isabelle's ML environment;
bulwahn
parents:
diff changeset 
     3
 
begin
2c893e0c1def added Spec_Check -- a Quickcheck tool for Isabelle's ML environment;
bulwahn
parents:
diff changeset 
     4
 












2c893e0c1def
added Spec_Check -- a Quickcheck tool for Isabelle's ML environment;



bulwahn


parents: 

diff
changeset




     5


ML_file "random.ML"













2c893e0c1def
added Spec_Check -- a Quickcheck tool for Isabelle's ML environment;



bulwahn


parents: 

diff
changeset




     6


ML_file "property.ML"













2c893e0c1def
added Spec_Check -- a Quickcheck tool for Isabelle's ML environment;



bulwahn


parents: 

diff
changeset




     7


ML_file "base_generator.ML"













2c893e0c1def
added Spec_Check -- a Quickcheck tool for Isabelle's ML environment;



bulwahn


parents: 

diff
changeset




     8


ML_file "generator.ML"













2c893e0c1def
added Spec_Check -- a Quickcheck tool for Isabelle's ML environment;



bulwahn


parents: 

diff
changeset




     9


ML_file "gen_construction.ML"













2c893e0c1def
added Spec_Check -- a Quickcheck tool for Isabelle's ML environment;



bulwahn


parents: 

diff
changeset




    10


ML_file "spec_check.ML"













2c893e0c1def
added Spec_Check -- a Quickcheck tool for Isabelle's ML environment;



bulwahn


parents: 

diff
changeset




    11


ML_file "output_style.ML"








52254






994055f7db80
simplified context and data management -- plain ctxt: Proof.context is default for most operations;



wenzelm


parents: 
52248

diff
changeset




    12


setup Output_Style.setup








52248






2c893e0c1def
added Spec_Check -- a Quickcheck tool for Isabelle's ML environment;



bulwahn


parents: 

diff
changeset




    13














2c893e0c1def
added Spec_Check -- a Quickcheck tool for Isabelle's ML environment;



bulwahn


parents: 

diff
changeset




    14


end














isabelle