lem « lib « isabelle « snapshots - sail - Formal specification language for ISAs

Mode	Name	Size
-rw-r--r--	LICENSE	27113	log plain
-rw-r--r--	Lem.thy	5850	log plain
-rw-r--r--	LemExtraDefs.thy	43476	log plain
-rw-r--r--	Lem_assert_extra.thy	1071	log plain
-rw-r--r--	Lem_basic_classes.thy	29958	log plain
-rw-r--r--	Lem_bool.thy	1394	log plain
-rw-r--r--	Lem_either.thy	2734	log plain
-rw-r--r--	Lem_function.thy	1893	log plain
-rw-r--r--	Lem_function_extra.thy	501	log plain
-rw-r--r--	Lem_list.thy	28708	log plain
-rw-r--r--	Lem_list_extra.thy	3622	log plain
-rw-r--r--	Lem_machine_word.thy	10537	log plain
-rw-r--r--	Lem_map.thy	7116	log plain
-rw-r--r--	Lem_map_extra.thy	3166	log plain
-rw-r--r--	Lem_maybe.thy	3445	log plain
-rw-r--r--	Lem_maybe_extra.thy	476	log plain
-rw-r--r--	Lem_num.thy	34675	log plain
-rw-r--r--	Lem_num_extra.thy	845	log plain
-rw-r--r--	Lem_pervasives.thy	482	log plain
-rw-r--r--	Lem_pervasives_extra.thy	563	log plain
-rw-r--r--	Lem_relation.thy	17814	log plain
-rw-r--r--	Lem_set.thy	11468	log plain
-rw-r--r--	Lem_set_extra.thy	4751	log plain
-rw-r--r--	Lem_set_helpers.thy	1664	log plain
-rw-r--r--	Lem_show.thy	2935	log plain
-rw-r--r--	Lem_show_extra.thy	2199	log plain
-rw-r--r--	Lem_sorting.thy	3167	log plain
-rw-r--r--	Lem_string.thy	1790	log plain
-rw-r--r--	Lem_string_extra.thy	4620	log plain
-rw-r--r--	Lem_tuple.thy	1019	log plain
-rw-r--r--	Lem_word.thy	36112	log plain
-rw-r--r--	ROOT	130	log plain