Sun, 05 May 2019 22:02:29 +0100 hello
Chengsong [Sun, 05 May 2019 22:02:29 +0100] rev 15
hello
Sat, 13 Apr 2019 16:18:23 +0100 the property
Chengsong [Sat, 13 Apr 2019 16:18:23 +0100] rev 14
the property retrieve ar v = retrieve (bsimp ar) (decode erase(bsimp(ar)) code(v)) if |- v : r does not hold
(0) -10 -2 +2 +10 +30 +100 tip