Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
output whitespace tuning
authorhaftmann
Wed, 18 Aug 2010 10:07:56 +0200
changeset 3873206728ef076a7
parent 38731 03d767575713
child 38733 7b34c51b05a4
output whitespace tuning
doc-src/Codegen/Thy/Further.thy file | annotate | diff | comparison | revisions 
     1.1 --- a/doc-src/Codegen/Thy/Further.thy	Wed Aug 18 10:07:56 2010 +0200
     1.2 +++ b/doc-src/Codegen/Thy/Further.thy	Wed Aug 18 10:07:56 2010 +0200
     1.3 @@ -209,8 +209,9 @@
     1.4    @{index_ML Code.del_eqn: "thm -> theory -> theory"} \\
     1.5    @{index_ML Code_Preproc.map_pre: "(simpset -> simpset) -> theory -> theory"} \\
     1.6    @{index_ML Code_Preproc.map_post: "(simpset -> simpset) -> theory -> theory"} \\
     1.7 -  @{index_ML Code_Preproc.add_functrans: "string * (theory -> (thm * bool) list -> (thm * bool) list option)
     1.8 -    -> theory -> theory"} \\
     1.9 +  @{index_ML Code_Preproc.add_functrans: "
    1.10 +    string * (theory -> (thm * bool) list -> (thm * bool) list option)
    1.11 +      -> theory -> theory"} \\
    1.12    @{index_ML Code_Preproc.del_functrans: "string -> theory -> theory"} \\
    1.13    @{index_ML Code.add_datatype: "(string * typ) list -> theory -> theory"} \\
    1.14    @{index_ML Code.get_type: "theory -> string
wneuper/isa