Changes

Summary

clarified parent session images, to avoid duplicate loading of theories; tuned;

Changeset 7843:3125f39e2840 by wenzelm: clarified parent session images, to avoid duplicate loading of theories;<br>tuned;
The file was modified	`thys/Abstract_Completeness/ROOT` (diff)
The file was modified	`thys/Coinductive/ROOT` (diff)
The file was modified	`thys/Derangements/ROOT` (diff)
The file was modified	`thys/E_Transcendental/ROOT` (diff)
The file was modified	`thys/Elliptic_Curves_Group_Law/ROOT` (diff)
The file was modified	`thys/Graph_Theory/ROOT` (diff)
The file was modified	`thys/HereditarilyFinite/ROOT` (diff)
The file was modified	`thys/HyperCTL/ROOT` (diff)
The file was modified	`thys/Incompleteness/ROOT` (diff)
The file was modified	`thys/Incredible_Proof_Machine/ROOT` (diff)
The file was modified	`thys/Jinja/ROOT` (diff)
The file was modified	`thys/Koenigsberg_Friendship/ROOT` (diff)
The file was modified	`thys/Lambda_Free_RPOs/ROOT` (diff)
The file was modified	`thys/Liouville_Numbers/ROOT` (diff)
The file was modified	`thys/Password_Authentication_Protocol/ROOT` (diff)
The file was modified	`thys/Priority_Queue_Braun/ROOT` (diff)
The file was modified	`thys/Promela/ROOT` (diff)
The file was modified	`thys/RSAPSS/ROOT` (diff)
The file was modified	`thys/Rep_Fin_Groups/ROOT` (diff)
The file was modified	`thys/Separata/ROOT` (diff)
The file was modified	`thys/Skew_Heap/ROOT` (diff)
The file was modified	`thys/Splay_Tree/ROOT` (diff)
The file was modified	`thys/TortoiseHare/ROOT` (diff)
The file was modified	`thys/Twelvefold_Way/ROOT` (diff)
The file was modified	`thys/Well_Quasi_Orders/ROOT` (diff)
The file was modified	`thys/XML/ROOT` (diff)