added a check and better error message
minor change to reduce the amount of stat'ing done at compile time
Merge pull request #646 from owolabileg/master

minor change to reduce the amount of stat'ing done at kompile time
Shell script fixes to quote "$0" properly in case it includes spaces.
Backslash-escape special characters in Maude "load" commands.

In particular, this is needed when working with files in directories
containing spaces.  Backslash-escaping in this manner is supported by
Maude 2.4 or later, per <http://maude.cs.uiuc.edu/versions/2.4/Changes>.
Oops, fix some mangled quoting that slipped into c9344e5ee40ceb48c500f9b9c200ba2d34720cd0.
Change tabs to spaces, per K project's preferred style.
Merge pull request #657 from liblit/master

Tool fixes to handle spaces in file paths
Minor documentation fix: add missing "\" at start of LaTeX macro.
Docs fix: "types" helper function is actually named "getTypes".
Merge pull request #665 from liblit/master

Minor documentation fixes for SIMPLE static typing tutorial.
make PdfBackend coding guidelines compliant
fix #683
Choosing maximum instead of minimum for terms alike.
Small fixes:
   - since Map, Set and List are not subsorted to K, eliminate the unique top sort check
   - the KApp of a constant properly forwards the location information
   - adding the single dots for Map, Set and List.
added builtin size operation for collections

Conflicts:
	include/builtins/list.k
	include/builtins/map.k
	include/builtins/set.k
progress on heap patterns
heap patterns work; reverse proved
reverse proved also with the content sequence constraint; some refactorings
refactored list, map and set k files