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	5857	log plain
-rw-r--r--	LemExtraDefs.thy	43611	log plain
-rw-r--r--	Lem_assert_extra.thy	1059	log plain
-rw-r--r--	Lem_basic_classes.thy	29897	log plain
-rw-r--r--	Lem_bool.thy	1381	log plain
-rw-r--r--	Lem_either.thy	2725	log plain
-rw-r--r--	Lem_function.thy	1882	log plain
-rw-r--r--	Lem_function_extra.thy	494	log plain
-rw-r--r--	Lem_list.thy	28702	log plain
-rw-r--r--	Lem_list_extra.thy	3616	log plain
-rw-r--r--	Lem_machine_word.thy	10517	log plain
-rw-r--r--	Lem_map.thy	7111	log plain
-rw-r--r--	Lem_map_extra.thy	3162	log plain
-rw-r--r--	Lem_maybe.thy	3435	log plain
-rw-r--r--	Lem_maybe_extra.thy	466	log plain
-rw-r--r--	Lem_num.thy	34866	log plain
-rw-r--r--	Lem_num_extra.thy	834	log plain
-rw-r--r--	Lem_pervasives.thy	484	log plain
-rw-r--r--	Lem_pervasives_extra.thy	562	log plain
-rw-r--r--	Lem_relation.thy	17808	log plain
-rw-r--r--	Lem_set.thy	11463	log plain
-rw-r--r--	Lem_set_extra.thy	4746	log plain
-rw-r--r--	Lem_set_helpers.thy	1656	log plain
-rw-r--r--	Lem_show.thy	2938	log plain
-rw-r--r--	Lem_show_extra.thy	2195	log plain
-rw-r--r--	Lem_sorting.thy	3175	log plain
-rw-r--r--	Lem_string.thy	1780	log plain
-rw-r--r--	Lem_string_extra.thy	4592	log plain
-rw-r--r--	Lem_tuple.thy	1008	log plain
-rw-r--r--	Lem_word.thy	36185	log plain
-rw-r--r--	ROOT	130	log plain