made su[bp]/isu[bp] behave the same as their bsu[bp]..esu[bp] counterparts,
properly respect isastylescript now
(*<*)
theory Library
imports
Accessible_Part
Continuity
EfficientNat
FuncSet
Multiset
NatPair
Nat_Infinity
Nested_Environment
OptionalSugar
Permutation
Primes
Quotient
While_Combinator
Word
Zorn
(*List_Prefix*)
Char_ord
List_lexord
begin
end
(*>*)