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/FOL/ex/ROOT.ML
author wenzelm
Wed, 28 Dec 2011 13:00:51 +0100
changeset 46003 c0fe5e8e4864
parent 41306 95449e4b4bf6
permissions -rw-r--r--
print case syntax depending on "show_cases" configuration option;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
23914
3e0424305fa4 turned ex/prop.ML, ex/quant.ML into proper theories;
wenzelm
parents: 23156
diff changeset 
     1
 
use_thys [
3e0424305fa4 turned ex/prop.ML, ex/quant.ML into proper theories;
wenzelm
parents: 23156
diff changeset 
     2
 
  "First_Order_Logic",
3e0424305fa4 turned ex/prop.ML, ex/quant.ML into proper theories;
wenzelm
parents: 23156
diff changeset 
     3
 
  "Natural_Numbers",
3e0424305fa4 turned ex/prop.ML, ex/quant.ML into proper theories;
wenzelm
parents: 23156
diff changeset 
     4
 
  "Intro",
3e0424305fa4 turned ex/prop.ML, ex/quant.ML into proper theories;
wenzelm
parents: 23156
diff changeset 
     5
 
  "Nat",
29752
ad4e3a577fd3 modernized some theory names;
wenzelm
parents: 29357
diff changeset 
     6
 
  "Nat_Class",
23914
3e0424305fa4 turned ex/prop.ML, ex/quant.ML into proper theories;
wenzelm
parents: 23156
diff changeset 
     7
 
  "Foundation",
3e0424305fa4 turned ex/prop.ML, ex/quant.ML into proper theories;
wenzelm
parents: 23156
diff changeset 
     8
 
  "Prolog",
3e0424305fa4 turned ex/prop.ML, ex/quant.ML into proper theories;
wenzelm
parents: 23156
diff changeset 
     9
 
  "Intuitionistic",
3e0424305fa4 turned ex/prop.ML, ex/quant.ML into proper theories;
wenzelm
parents: 23156
diff changeset 
    10
 
  "Propositional_Int",
3e0424305fa4 turned ex/prop.ML, ex/quant.ML into proper theories;
wenzelm
parents: 23156
diff changeset 
    11
 
  "Quantifiers_Int",
3e0424305fa4 turned ex/prop.ML, ex/quant.ML into proper theories;
wenzelm
parents: 23156
diff changeset 
    12
 
  "Classical",
3e0424305fa4 turned ex/prop.ML, ex/quant.ML into proper theories;
wenzelm
parents: 23156
diff changeset 
    13
 
  "Propositional_Cla",
3e0424305fa4 turned ex/prop.ML, ex/quant.ML into proper theories;
wenzelm
parents: 23156
diff changeset 
    14
 
  "Quantifiers_Cla",
3e0424305fa4 turned ex/prop.ML, ex/quant.ML into proper theories;
wenzelm
parents: 23156
diff changeset 
    15
 
  "Miniscope",
40239
c4336e45f199 moved FOL/ex/Iff_Oracle.thy to HOL/ex where it is more accessible to most readers of isar-ref;
wenzelm
parents: 37134
diff changeset 
    16
 
  "If"
23914
3e0424305fa4 turned ex/prop.ML, ex/quant.ML into proper theories;
wenzelm
parents: 23156
diff changeset 
    17
 
];
17277
ab45d65bf204 make LocalesTest last, because it sets funny flags;
wenzelm
parents: 16168
diff changeset 
    18
 







37134






29bd6c2ffba8
Revise locale test theory layout.



ballarin


parents: 
29752

diff
changeset




    19


no_document use_thy "Locale_Test/Locale_Test";















isabelle