+ =====================================================================	+
|									|
| LIBRARY	: part_fun						|
| 									|
| DESCRIPTION   : Theories for supporting partial functions in HOL.     |
|									|
| AUTHOR	: Elsa Gunter           				|
| AFFILIATION   : AT&T Bell Labs					|
| DATE		: November 4, 1994 		         		|
+ =====================================================================	+


+ --------------------------------------------------------------------- +
|									|
| DOCUMENTATION:							|
|									|
+ --------------------------------------------------------------------- +

No documentation exists for this lirbary as yet. You will have to rely on 
code that builds the theories in theories/src.

+ --------------------------------------------------------------------- +
|									|
| TO REBUILD THE LIBRARY:						|
|									|
+ --------------------------------------------------------------------- +
                                      
   0) make_part_fun <hol90>

+ --------------------------------------------------------------------- +
|									|
| TO USE THE LIBRARY:							|
|									|
+ --------------------------------------------------------------------- +

    load_library{lib = find_library "part_fun", theory = <name>};

