Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper operator syntax as in main HOL -- avoid clash of (greek) identifiers;
  2. more symbols;
  3. isabelle update_cartouches -c -t;
Changeset 6988:1a5a8d424030 by wenzelm:
proper operator syntax as in main HOL -- avoid clash of (greek) identifiers;
The file was modified thys/HereditarilyFinite/HF.thy (diff)
Changeset 6987:d6a5fcaebc45 by wenzelm:
more symbols;
The file was modified thys/HereditarilyFinite/Finitary.thy (diff)
The file was modified thys/HereditarilyFinite/Finite_Automata.thy (diff)
The file was modified thys/HereditarilyFinite/HF.thy (diff)
The file was modified thys/HereditarilyFinite/OrdArith.thy (diff)
The file was modified thys/HereditarilyFinite/Ordinal.thy (diff)
The file was modified thys/HereditarilyFinite/Rank.thy (diff)
Changeset 6986:63f13d009e4a by wenzelm:
isabelle update_cartouches -c -t;
The file was modified thys/HereditarilyFinite/Finitary.thy (diff)
The file was modified thys/HereditarilyFinite/Finite_Automata.thy (diff)
The file was modified thys/HereditarilyFinite/HF.thy (diff)
The file was modified thys/HereditarilyFinite/OrdArith.thy (diff)
The file was modified thys/HereditarilyFinite/Ordinal.thy (diff)
The file was modified thys/HereditarilyFinite/Rank.thy (diff)