upgrade to Isabelle2019

Citadelle/LICENSE.thy

Citadelle/ROOT

Citadelle/examples/archive/Monads.thy

Citadelle/examples/empirical_evaluation/Class_model.thy

Citadelle/src/basic_types/UML_Integer.thy

Citadelle/src/basic_types/UML_Real.thy

Citadelle/src/basic_types/UML_UnlimitedNatural.thy

Citadelle/src/compiler/Aux_text.thy

Citadelle/src/compiler/Core.thy

Citadelle/src/compiler/Generator_dynamic_concurrent.thy

Citadelle/src/compiler/Generator_dynamic_export_testing.thy

Citadelle/src/compiler/Generator_dynamic_sequential.thy

Citadelle/src/compiler/core/Core_init.thy

Citadelle/src/compiler/core/Floor1_access.thy

Citadelle/src/compiler/core/Floor1_allinst.thy

Citadelle/src/compiler/core/Floor1_ctxt.thy

Citadelle/src/compiler/core/Floor1_examp.thy

Citadelle/src/compiler/core/Floor1_haskabelle.thy

Citadelle/src/compiler/core/Floor1_infra.thy

Citadelle/src/compiler/core/Floor1_iskindof.thy