partial_function: shift respective thys to ProgLang

Note: 1st step towards more automation in programming:
auto. generation of rls, etc involves also these thys.

 theory Base_Tools

 imports  "../ProgLang/ProgLang" "../Interpret/Interpret" "../xmlsrc/xmlsrc"

 begin

 end