Tue, 25 Jun 2019 22:43:21 +0100 deleted data-files and further unnecessary parts in data.sty
Christian Urban <urbanc@in.tum.de> [Tue, 25 Jun 2019 22:43:21 +0100] rev 18
deleted data-files and further unnecessary parts in data.sty
Tue, 25 Jun 2019 18:56:52 +0100 hi
Chengsong [Tue, 25 Jun 2019 18:56:52 +0100] rev 17
hi
Wed, 08 May 2019 22:09:59 +0100 new version of slides
Chengsong [Wed, 08 May 2019 22:09:59 +0100] rev 16
new version of slides
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
Fri, 12 Apr 2019 19:26:13 +0100 test of
Chengsong [Fri, 12 Apr 2019 19:26:13 +0100] rev 13
test of retrieve r v = retrieve (bsimp r) (decode bsimp r code v)
(0) -10 -6 +6 +10 +30 +100 tip