Ignore:
Timestamp:
Dec 13, 2011, 1:34:37 AM (8 years ago)
Author:
sacerdot
Message:

Start of merging of stuff into the standard library of Matita.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/BEGlobalenvs.ma

    r1408 r1599  
    447447      let 〈id, r, init〉 ≝ id_init in
    448448      let 〈g,st〉 ≝ g_st in
    449         match alloc_init_data st init r with [ pair st' b ⇒
     449      let 〈st',b〉 ≝ alloc_init_data st init r in
    450450          let g' ≝ add_symbol ? id b g in
    451451            〈g', st'〉
    452         ] )
     452    )
    453453    init_env vars.
    454454
Note: See TracChangeset for help on using the changeset viewer.