src/HOL/List.thy
12 months ago wenzelm 2018-08-04 recovered HOL-Proofs-Lambda from 8aedca31957d: avoid problems with program extraction according to d136af442665;
12 months ago paulson 2018-08-04 de-applying
12 months ago paulson 2018-08-01 de-applying
13 months ago paulson 2018-07-17 more de-applying
13 months ago paulson 2018-06-28 Generalising and renaming some basic results
14 months ago nipkow 2018-06-03 allow tuple patterns in list comprehensions
14 months ago nipkow 2018-05-30 unused
15 months ago nipkow 2018-05-22 First step to remove nonstandard "[x <- xs. P]" syntax: only input
15 months ago nipkow 2018-05-19 added lemmas
15 months ago nipkow 2018-05-15 removed duplicates
15 months ago nipkow 2018-05-15 added lemmas
15 months ago nipkow 2018-05-14 cleaning up sorted
15 months ago nipkow 2018-05-14 more sorted cleaning
15 months ago nipkow 2018-05-14 cleaning up sorted
15 months ago nipkow 2018-05-13 mv lemma
15 months ago nipkow 2018-05-12 added lemmas
15 months ago nipkow 2018-05-10 more lemmas
15 months ago nipkow 2018-05-09 announce sorted changes
15 months ago nipkow 2018-05-08 more efficient code
15 months ago nipkow 2018-05-08 more "sorted" changes
15 months ago nipkow 2018-05-08 new def of sorted and sorted_wrt
15 months ago nipkow 2018-05-06 reinstated old lemma name
15 months ago nipkow 2018-05-06 removed asm "finite"
16 months ago haftmann 2018-04-24 proper datatype for 8-bit characters
16 months ago nipkow 2018-04-13 added lemma
16 months ago nipkow 2018-03-26 added lemmas
17 months ago nipkow 2018-03-24 added lemma
17 months ago wenzelm 2018-02-24 more symbols;
18 months ago nipkow 2018-02-22 simplified def of stable
18 months ago wenzelm 2018-02-15 more symbols;
18 months ago nipkow 2018-02-12 added lemmas
19 months ago nipkow 2018-01-21 merged
19 months ago nipkow 2018-01-21 made sorted fun again
19 months ago nipkow 2018-01-20 imported patch sorted
19 months ago bulwahn 2018-01-20 add lemma on lists from Falling_Factorial_Sum entry
19 months ago wenzelm 2018-01-16 standardized towards new-style formal comments: isabelle update_comments;
19 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
20 months ago nipkow 2017-12-13 added lemmas
20 months ago nipkow 2017-12-13 added min_list and arg_min_list
20 months ago nipkow 2017-12-13 added lemmas
20 months ago nipkow 2017-12-04 more lemmas
20 months ago wenzelm 2017-11-26 more symbols;
21 months ago nipkow 2017-11-21 more lemmas
22 months ago nipkow 2017-10-23 added lemma
22 months ago bulwahn 2017-10-21 remove trailing whitespaces in List
22 months ago bulwahn 2017-10-21 drop a superfluous assumption that was found by the find_unused_assms command
22 months ago bulwahn 2017-10-21 drop a superfluous assumption that was found by the find_unused_assms command and tune proof
22 months ago bulwahn 2017-10-21 drop a superfluous assumption that was found by the find_unused_assms command and tune proof
22 months ago nipkow 2017-10-16 added [simp]
22 months ago nipkow 2017-10-13 added lemmas, tuned spaces
22 months ago nipkow 2017-10-12 relaxed assm
22 months ago haftmann 2017-10-09 tuned imports
23 months ago nipkow 2017-09-14 two new simp rules
23 months ago nipkow 2017-09-14 added lemma
23 months ago nipkow 2017-09-13 added lemma; zip_with -> map2
23 months ago nipkow 2017-09-12 introduced zip_with
23 months ago nipkow 2017-09-12 added lemma
23 months ago bulwahn 2017-09-01 more facts on Map.map_of and List.zip
23 months ago eberlm 2017-08-29 Some small lemmas about polynomials and FPSs
24 months ago nipkow 2017-08-25 Added lemmas