Update Version 1.10:
  - Manual LFD_INFER.ps added. This is essentially the updated, sorted & completed previous README.TXT, which has become obsolete.
  - BUGFIX: Using stdin/stdout now works without throwing errors.	
  - BUGFIX: Command Line Parsing: Booleans are case insensitive now, Unit element value now recognised as "*" (as well as "()").
  - BUGFIX: .constraint-file is no longer deleted when using option "-ninf"
  - BUGFIX: Print-out for user-sized statistic of sandbox respects option "-uni" now as well.	
  - Minor: some mistakes in onscreen help have been corrected
  - Minor: option "-nasor" now really doesnt touch the order of the constructors tried. !Previously, nil_constructors where always tried last.
  - Minor: "-infty"/"-delta" infty is now included as a value, that is only number biggers than that will be regarded as endless. (i.e. "-delta 0" is now what "-delta -1" was)
  - Minor: error message "Function identifier unkown" changed to "Function identifier (or variable) unkown"   
  - Minor: Some line breaks in screen output were corrected
  - Minor: LFD names itself LFD now instead of LFPL
  - Example merge_sort.lfd: Improved comments
