1 修改集:      89:2056d9f481e2

     2 标签:        tip

     3 用户:        zhangx

     4 日期:        Thu Jan 28 16:36:46 2016 +0800

     5 摘要:        Slightly modified ExtGG.thy and PrioG.thy.

     6 

     7 修改集:      88:83dd5345d5d0

     8 父亲:        83:d239aa953315

     9 父亲:        87:33cb65e00ac0

    10 用户:        zhangx

    11 日期:        Thu Jan 28 16:33:49 2016 +0800

    12 摘要:        Merged back ExtGG.thy and PrioG.thy.

    13 

    14 修改集:      87:33cb65e00ac0

    15 用户:        zhangx

    16 日期:        Thu Jan 28 15:36:48 2016 +0800

    17 摘要:        Tracking ExtGG.thy etc., so that a update to 83 is possible.

    18