src/HOL/List.thy
2 months ago ago strengthened lemma
2 months ago ago more lemmas
3 months ago ago incorporated various material from the AFP into the distribution
4 months ago ago tuned proofs -- eliminated odd case_tac;
6 months ago ago new material about summations and powers, along with some tweaks
6 months ago ago isabelle update -u control_cartouches;
7 months ago ago more accurate positions for "name" (quoted string) and "embedded" (cartouche): refer to content without delimiters, which is e.g. relevant for systematic selection/renaming of scope groups;
8 months ago ago added and tuned lemmas
8 months ago ago replaced some ancient ASCII syntax
8 months ago ago clarified status of legacy input abbreviations
8 months ago ago tuned;
8 months ago ago added lemmas
9 months ago ago added simp-lemma
9 months ago ago added simp-lemma
9 months ago ago more [simp]
9 months ago ago shuffle -> shuffles
9 months ago ago avoid confusing precedences
9 months ago ago simpler def
10 months ago ago A few new results, elimination of duplicates and more use of "pairwise"
11 months ago ago tuned whitespace
11 months ago ago removed ineffective code declarations
11 months ago ago recovered HOL-Proofs-Lambda from 8aedca31957d: avoid problems with program extraction according to d136af442665;
11 months ago ago de-applying
11 months ago ago de-applying
12 months ago ago more de-applying
12 months ago ago Generalising and renaming some basic results
13 months ago ago allow tuple patterns in list comprehensions
13 months ago ago unused
14 months ago ago First step to remove nonstandard "[x <- xs. P]" syntax: only input
14 months ago ago added lemmas
14 months ago ago removed duplicates
14 months ago ago added lemmas
14 months ago ago cleaning up sorted
14 months ago ago more sorted cleaning
14 months ago ago cleaning up sorted
14 months ago ago mv lemma
14 months ago ago added lemmas
14 months ago ago more lemmas
14 months ago ago announce sorted changes
14 months ago ago more efficient code
14 months ago ago more "sorted" changes
14 months ago ago new def of sorted and sorted_wrt
14 months ago ago reinstated old lemma name
14 months ago ago removed asm "finite"
15 months ago ago proper datatype for 8-bit characters
15 months ago ago added lemma
16 months ago ago added lemmas
16 months ago ago added lemma
17 months ago ago more symbols;
17 months ago ago simplified def of stable
17 months ago ago more symbols;
17 months ago ago added lemmas
18 months ago ago merged
18 months ago ago made sorted fun again
18 months ago ago add lemma on lists from Falling_Factorial_Sum entry
18 months ago ago imported patch sorted
18 months ago ago standardized towards new-style formal comments: isabelle update_comments;
18 months ago ago ran isabelle update_op on all sources
19 months ago ago added lemmas
19 months ago ago added min_list and arg_min_list