4 Commits

Author	SHA1	Message	Date
Gerwin Klein	e4d8fb5dba	GHC 7.8 update (bitSize -> finiteBitSize)	2014-11-28 08:58:57 +11:00
Gerwin Klein	12b1b0d16f	move isAligned to HaskellLib ... Isabelle2014 doesn't like defs to be less general than the consts declaration.	2014-08-09 15:59:24 +10:00
Gerwin Klein	1af1d2b67b	some of the global Isabelle2014 renames ... option_case -> case_option sum_case -> case_sum prod_case -> case_prod Option.set -> set_option Option.map -> map_option option_rel -> rel_option list_all2_def -> list_all2_iff map.simps -> list.map tl.simps -> list.sel(2-3) the.simps -> option.sel	2014-08-09 15:39:20 +10:00
Gerwin Klein	2a03e81df4	Import release snapshot.	2014-07-14 21:32:44 +02:00