Correctness.thy
2017-09-22 Christian Urban updated to Isabelle 2016-1
2017-06-27 Christian Urban updated
2017-05-12 Christian Urban updated
2017-04-25 Christian Urban updated
2017-04-21 zhangx "up_to" added and main theorems improved.
2017-04-20 Christian Urban updated
2017-04-10 Christian Urban updated
2017-03-17 Christian Urban updated
2017-03-16 Christian Urban updasted
2017-02-20 Christian Urban updated
2017-02-06 Christian Urban updated
2016-12-09 Christian Urban updated
2016-10-21 Christian Urban updated
2016-10-07 Christian Urban updated
2016-10-02 Christian Urban updated
less more (0) -15 tip