isabelle: File revisions

src/HOL/Library/Code_Target_Int.thy

Thu, 26 Jun 2025 17:25:29 +0200	haftmann	scope pending code equations to theories	file \| diff \| annotate
Fri, 04 Oct 2024 13:29:33 +0200	wenzelm	clarified syntax for opening bundles;	file \| diff \| annotate
Mon, 04 Jul 2022 16:12:47 +0000	haftmann	Move code lemmas for symbolic computation of bit operations on int to distribution.	file \| diff \| annotate
Tue, 24 Apr 2018 14:17:58 +0000	haftmann	proper datatype for 8-bit characters	file \| diff \| annotate
Sat, 22 Apr 2017 22:01:35 +0200	wenzelm	theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications;	file \| diff \| annotate
Tue, 07 Feb 2017 22:15:05 +0100	haftmann	dedicated computation preprocessing rules for nat, int implemented by target language literals	file \| diff \| annotate
Sun, 16 Oct 2016 09:31:05 +0200	haftmann	more standardized theorem names for facts involving the div and mod identity	file \| diff \| annotate
Thu, 23 Jun 2016 16:46:36 +0200	haftmann	avoid overlapping equations for gcd, lcm on integers	file \| diff \| annotate

isabelle