Changes

Summary

new entry CakeML, compiled by Lars Hupel

Changeset 9003:e03a8507537c by kleing: new entry CakeML, compiled by Lars Hupel
The file was added	`thys/CakeML/Big_Step_Determ.thy`
The file was added	`thys/CakeML/Big_Step_Fun_Equiv.thy`
The file was added	`thys/CakeML/Big_Step_Total.thy`
The file was added	`thys/CakeML/Evaluate_Clock.thy`
The file was added	`thys/CakeML/Evaluate_Termination.thy`
The file was added	`thys/CakeML/ROOT`
The file was added	`thys/CakeML/Semantic_Extras.thy`
The file was added	`thys/CakeML/doc/Doc_Generated.thy`
The file was added	`thys/CakeML/doc/Doc_Proofs.thy`
The file was added	`thys/CakeML/document/root.tex`
The file was added	`thys/CakeML/generated/CakeML/Ast.thy`
The file was added	`thys/CakeML/generated/CakeML/AstAuxiliary.thy`
The file was added	`thys/CakeML/generated/CakeML/BigStep.thy`
The file was added	`thys/CakeML/generated/CakeML/Evaluate.thy`
The file was added	`thys/CakeML/generated/CakeML/Ffi.thy`
The file was added	`thys/CakeML/generated/CakeML/FpSem.thy`
The file was added	`thys/CakeML/generated/CakeML/Lib.thy`
The file was added	`thys/CakeML/generated/CakeML/LibAuxiliary.thy`
The file was added	`thys/CakeML/generated/CakeML/Namespace.thy`
The file was added	`thys/CakeML/generated/CakeML/NamespaceAuxiliary.thy`
The file was added	`thys/CakeML/generated/CakeML/PrimTypes.thy`
The file was added	`thys/CakeML/generated/CakeML/SemanticPrimitives.thy`
The file was added	`thys/CakeML/generated/CakeML/SemanticPrimitivesAuxiliary.thy`
The file was added	`thys/CakeML/generated/CakeML/SimpleIO.thy`
The file was added	`thys/CakeML/generated/CakeML/SmallStep.thy`
The file was added	`thys/CakeML/generated/CakeML/TypeSystem.thy`
The file was added	`thys/CakeML/generated/CakeML/TypeSystemAuxiliary.thy`
The file was added	`thys/CakeML/generated/Lem.thy`
The file was added	`thys/CakeML/generated/LemExtraDefs.thy`
The file was added	`thys/CakeML/generated/Lem_assert_extra.thy`
The file was added	`thys/CakeML/generated/Lem_basic_classes.thy`
The file was added	`thys/CakeML/generated/Lem_bool.thy`
The file was added	`thys/CakeML/generated/Lem_either.thy`
The file was added	`thys/CakeML/generated/Lem_function.thy`
The file was added	`thys/CakeML/generated/Lem_function_extra.thy`
The file was added	`thys/CakeML/generated/Lem_list.thy`
The file was added	`thys/CakeML/generated/Lem_list_extra.thy`
The file was added	`thys/CakeML/generated/Lem_machine_word.thy`
The file was added	`thys/CakeML/generated/Lem_map.thy`
The file was added	`thys/CakeML/generated/Lem_map_extra.thy`
The file was added	`thys/CakeML/generated/Lem_maybe.thy`
The file was added	`thys/CakeML/generated/Lem_maybe_extra.thy`
The file was added	`thys/CakeML/generated/Lem_num.thy`
The file was added	`thys/CakeML/generated/Lem_num_extra.thy`
The file was added	`thys/CakeML/generated/Lem_pervasives.thy`
The file was added	`thys/CakeML/generated/Lem_pervasives_extra.thy`
The file was added	`thys/CakeML/generated/Lem_relation.thy`
The file was added	`thys/CakeML/generated/Lem_set.thy`
The file was added	`thys/CakeML/generated/Lem_set_extra.thy`
The file was added	`thys/CakeML/generated/Lem_set_helpers.thy`
The file was added	`thys/CakeML/generated/Lem_show.thy`
The file was added	`thys/CakeML/generated/Lem_show_extra.thy`
The file was added	`thys/CakeML/generated/Lem_sorting.thy`
The file was added	`thys/CakeML/generated/Lem_string.thy`
The file was added	`thys/CakeML/generated/Lem_string_extra.thy`
The file was added	`thys/CakeML/generated/Lem_tuple.thy`
The file was added	`thys/CakeML/generated/Lem_word.thy`
The file was added	`thys/CakeML/versions`
The file was added	`web/entries/CakeML.html`
The file was modified	`metadata/metadata` (diff)
The file was modified	`thys/ROOTS` (diff)
The file was modified	`web/entries/Coinductive.html` (diff)
The file was modified	`web/entries/IEEE_Floating_Point.html` (diff)
The file was modified	`web/entries/Word_Lib.html` (diff)
The file was modified	`web/index.html` (diff)
The file was modified	`web/rss.xml` (diff)
The file was modified	`web/statistics.html` (diff)
The file was modified	`web/topics.html` (diff)