Changeset 1228 for src/joint/Joint.ma


Ignore:
Timestamp:
Sep 19, 2011, 4:52:40 PM (8 years ago)
Author:
mulligan
Message:

some more changes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/Joint.ma

    r1220 r1228  
    8383definition joint_function ≝ λglobals,pre,p. fundef (joint_internal_function globals pre p).
    8484
    85 definition joint_program :=
    86  λglobals:list ident.λpre.λp: sem_params_ pre globals.
    87   program (joint_function … p) nat.
     85definition joint_program ≝
     86  λglobals: list ident.
     87  λpre.
     88  λp: sem_params_ pre globals.
     89    program (λx. joint_function globals pre p) nat.
    8890
    8991(****************************************************************************)
Note: See TracChangeset for help on using the changeset viewer.