| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Fortran/Fortran77-Compiler/ (Fortran77 Compiler Version 0.7©) Datei vom 9.3.2015 mit Größe 2 MB |
|
SSL All_Symmetric.thy Sprache: Isabelle |
|||||||||||||||
|
theory All_Symmetric imports Message begin text ‹All keys are symmetric› overloading all_symmetric ≡ all_symmetric begin definition "all_symmetric ≡ True" end lemma isSym_keys: "K ∈ symKeys" by (simp add: symKeys_def all_symmetric_def invKey_symmetric) end
¤ Dauer der Verarbeitung: 0.9 Sekunden (vorverarbeitet am 2026-09-28) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-10-10