Corrected some comments giving the F# equivalent of lib functions.
Fixed a couple places where invisible characters where copy-pasted into documentation comments from the hol-light Reference Manual.
Standardize pretty printers related to theorems.

Signed-off-by: Eric G Taucher <researcher0x00@gmail.com>
Added UNIX-style shell script based on hol.bat.
Added NLog for use with logging.
Changed system.fsx to init.fsx and system.fs.
Increased buffer size of HOL Light command prompt.
Created NLogExample.fsx to show how to add NLog to script.
Modified exploration.fsx to use NLog.



Signed-off-by: Eric G Taucher <researcher0x00@gmail.com>
Add open system for access to logger.


Signed-off-by: Eric G Taucher <researcher0x00@gmail.com>
Remove old commented out code.

Signed-off-by: Eric G Taucher <researcher0x00@gmail.com>
added other infixes internal database and adjusted intialization
exploration till int
BUGGY condition added
Merge branch 'master' of https://github.com/jack-pappas/NHol
Added/fixed some comments and documentation comments.
Merge branch 'master' of github.com:jack-pappas/NHol
Add log output to console when using function to build configuartion.
Enance function that prints NLog configuration.
Change what is loged to console to be the same what is logged to a file.

Signed-off-by: Eric G Taucher <researcher0x00@gmail.com>
unit tests added
analysis updated till trivia
Merge branch 'master' of https://github.com/jack-pappas/NHol
Update README.md

Change link to first page of Eric's notes.
Merge branch 'master' into removing-exceptions.
NOTE : This commit does not compile due to a few minor compatibility issues between the code in 'master' and 'removing-exceptions'.

Conflicts:
	HOL Light.lnk
	HolFsi11.bat
	NHol/basics.fs
	NHol/lib.fs
	NHol/preterm.fs
	NHol/system.fsx
	NHol/tactics.fs
	Tutorial/exploration.fsx
Merge branch 'removing-exceptions' of github.com:jack-pappas/NHol into removing-exceptions

Conflicts:
	NHol/NLog.config
	NHol/system.fsx