File	Date	Author	Commit
dev	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
help	2014-03-18	Ken Monks	[04968a] Updating Tutorial
jsutils	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
unreleased	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Constants - Algebra.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Constants - Divisibility.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Constants - Famous Sets of Numbers.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Constants - Functions.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Constants - Inequalities.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Constants - Number Theory.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Constants - Propositional Logic.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Constants - Relations.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Constants - Set Theory.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Help Document Template.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Mini Set Theory Puzzle.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
README.txt	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Ruleset - Algebra (basics).lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Ruleset - Algebra.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Ruleset - Copy.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Ruleset - Divisibility.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Ruleset - Equality.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Ruleset - Famous Sets of Numbers.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Ruleset - Functions.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Ruleset - Inequalities.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Ruleset - Logic Rule.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Ruleset - Number Theory (basics).lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Ruleset - Number Theory.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Ruleset - Predicate Logic & Equality (theorems).lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Ruleset - Predicate Logic.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Ruleset - Propositional Logic (theorems).lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Ruleset - Propositional Logic.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Ruleset - Relations.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Ruleset - Set Theory (basics).lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Ruleset - Set Theory (theorems).lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Ruleset - Set Theory.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Ruleset - forallx in Lurch - QL.lurch	2014-04-03	Nathan Carter	[894df9] Adding to the release topics from the textbook ...
Ruleset - forallx in Lurch - SL.lurch	2014-04-03	Nathan Carter	[894df9] Adding to the release topics from the textbook ...
Russell's Theorem.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Stylesheet - Basic.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Stylesheet - Comprehensive.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Stylesheet - Default.lurch	2014-04-03	Ken Monks	[bf7be2] Updating the Default Stylesheet to include line...
Stylesheet - Mono Terms.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Stylesheet - Rule Libs.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Stylesheet - Sans Terms.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Stylesheet - Serif Terms.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Stylesheet - Tutorial.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Topic - Algebra (basics).lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Topic - Algebra.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Topic - Divisibility.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Topic - Elementary Set Theory (basics).lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Topic - Elementary Set Theory (with theorems).lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Topic - Elementary Set Theory.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Topic - Famous Sets of Numbers.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Topic - Functions.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Topic - Inequalities.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Topic - MeaningfulDocuments.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Topic - Mini Set Theory Puzzle.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Topic - Number Theory (basics).lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Topic - Number Theory.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Topic - Predicate Logic & Equality (with theorems).lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Topic - Predicate Logic & Equality.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Topic - Predicate Logic.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Topic - Propositional Logic (with theorems).lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Topic - Propositional Logic.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Topic - Relations.lurch	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
Topic - forallx in Lurch - QL.lurch	2014-04-03	Nathan Carter	[894df9] Adding to the release topics from the textbook ...
Topic - forallx in Lurch - SL.lurch	2014-04-03	Nathan Carter	[894df9] Adding to the release topics from the textbook ...
autodeps.py	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...
deps.txt	2013-06-12	Nathan Carter	[e53d11] Moving contents of Lurch subfolder out to main ...

Read Me

Lurch libraries are documents that are intended to be used as dependencies and/or topics.
Users will write many documents, but very few of them will be used as dependencies; many will
be one-offs, a student completing one assignment, for example.  Those that are intended
for re-use are called "libraries."

This folder contains the official collection of libraries distributed with Lurch.  We
expect it to expand over time, and that those things that are here should be improved
over time to exemplify good library design.

The files in this directory are included with each distribution of Lurch, either on Mac,
Windows, or Linux.  The default setup for a new install of Lurch includes a search path
containing all of these files.