CookBook/Base.thy
author Christian Urban <urbanc@in.tum.de>
Wed, 07 Jan 2009 16:36:31 +0000 (2009-01-07)
changeset 62 c3fe4749ef01
parent 57 065f472c09ab
child 64 9a6e5e0c4906
permissions -rw-r--r--
added Sacha as contributor
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
23
1322990e4ee7 New theory for installing antiquotations.
berghofe
parents:
diff changeset
     1
theory Base
1322990e4ee7 New theory for installing antiquotations.
berghofe
parents:
diff changeset
     2
imports Main
1322990e4ee7 New theory for installing antiquotations.
berghofe
parents:
diff changeset
     3
uses
57
065f472c09ab Repaired output of marginal comments in ML antiquotation.
berghofe
parents: 43
diff changeset
     4
  "chunks.ML"
23
1322990e4ee7 New theory for installing antiquotations.
berghofe
parents:
diff changeset
     5
  "antiquote_setup.ML"
1322990e4ee7 New theory for installing antiquotations.
berghofe
parents:
diff changeset
     6
begin
1322990e4ee7 New theory for installing antiquotations.
berghofe
parents:
diff changeset
     7
1322990e4ee7 New theory for installing antiquotations.
berghofe
parents:
diff changeset
     8
end