Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
Wed, 13 Nov 2013 19:12:15 +0100 | haftmann | separated comparision on bit operations into separate theory | file | diff | annotate |
Thu, 10 Jan 2013 18:19:13 +0100 | berghofe | Added proof function declarations for min and max | file | diff | annotate |
Sun, 25 Mar 2012 20:15:39 +0200 | huffman | merged fork with new numeral representation (see NEWS) | file | diff | annotate |
Sat, 15 Jan 2011 12:35:29 +0100 | berghofe | Added new SPARK verification environment. | file | diff | annotate |