Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
test/Tools/isac/ProgLang/ptyps.sml
author Walther Neuper <neuper@ist.tugraz.at>
Fri, 01 Oct 2010 10:23:38 +0200
branchisac-update-Isa09-2
changeset 38036 02a9b2540eb7
permissions -rw-r--r--
repaired 'prepat's, the patterns and preconditions for Rrls

fun parse_patt still lacks numbers_to_string, typ_a2real
because this causes a strange error in Poly.thy to be removed next 
     1 (* Title: tests for Interpret/ptyps.sml

     2    Author: Walther Neuper 100930

     3    (c) copyright due to lincense terms.

     4 

     5 12345678901234567890123456789012345678901234567890123456789012345678901234567890

     6         10        20        30        40        50        60        70        80

     7 *)

     8 "--------------------------------------------------------";

     9 "table of contents --------------------------------------";

    10 "--------------------------------------------------------";

    11 "----------- fun ----------------------------------------";

    12 "--------------------------------------------------------";

    13 "--------------------------------------------------------";

    14 "--------------------------------------------------------";

    15 

    16 (*========== inhibit exn =======================================================

    17 ============ inhibit exn =====================================================*)

    18 

    19 (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.

    20 -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)
wneuper/isa