Ignore:
Timestamp:
Jul 19, 2012, 2:42:02 PM (8 years ago)
Author:
tranquil
Message:
  • changed order of parameters of joint_internal_function and genv in semantics
  • in semantics, unified more_sem_unserialized_params and more_sem_genv_params
  • renamed all <language>_params to <LANGUAGE>
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/semanticsUtils_paolo.ma

    r2208 r2214  
    124124definition make_sem_graph_params :
    125125  ∀pars : graph_params.
    126   ∀g_pars : more_sem_genv_params pars.
     126  ∀g_pars : more_sem_unserialized_params pars (joint_internal_function pars).
    127127  sem_params ≝
    128128  λpars,g_pars.
     
    163163definition make_sem_lin_params :
    164164  ∀pars : lin_params.
    165   ∀g_pars : more_sem_genv_params pars.
     165  ∀g_pars : more_sem_unserialized_params pars (joint_internal_function pars).
    166166  sem_params ≝
    167167  λpars,g_pars.
Note: See TracChangeset for help on using the changeset viewer.