isabelle: File revisions

src/HOL/SPARK/SPARK.thy

Sat, 17 Oct 2020 18:56:36 +0200	haftmann	factored out theory Bits_Int	file \| diff \| annotate
Thu, 18 Jun 2020 09:07:30 +0000	haftmann	pragmatically ruled out word types of length zero: a bit string with no bits is not bit string at all	file \| diff \| annotate
Sat, 20 Apr 2019 13:44:16 +0000	haftmann	clarified notation	file \| diff \| annotate
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

isabelle