chiark / gitweb /
topbloke-formulae.git
7 years agolemma calculation of ends, no proof yet
Ian Jackson [Fri, 2 Mar 2012 19:06:09 +0000 (19:06 +0000)]
lemma calculation of ends, no proof yet

7 years agoclarify by swapping two vars
Ian Jackson [Fri, 2 Mar 2012 19:05:45 +0000 (19:05 +0000)]
clarify by swapping two vars

7 years agoLargeexists
Ian Jackson [Fri, 2 Mar 2012 19:05:32 +0000 (19:05 +0000)]
Largeexists

7 years agomerge no replay
Ian Jackson [Fri, 2 Mar 2012 17:51:09 +0000 (17:51 +0000)]
merge no replay

7 years agowip merge
Ian Jackson [Fri, 2 Mar 2012 16:34:20 +0000 (16:34 +0000)]
wip merge

7 years agowip merge before rejoin tip merge condition
Ian Jackson [Fri, 2 Mar 2012 16:24:58 +0000 (16:24 +0000)]
wip merge before rejoin tip merge condition

7 years agowip merge
Ian Jackson [Fri, 2 Mar 2012 16:13:23 +0000 (16:13 +0000)]
wip merge

7 years agomacros \true and \false
Ian Jackson [Fri, 2 Mar 2012 16:13:19 +0000 (16:13 +0000)]
macros \true and \false

7 years agoremove symbol test section
Ian Jackson [Thu, 1 Mar 2012 14:33:02 +0000 (14:33 +0000)]
remove symbol test section

7 years ago.gitignore
Ian Jackson [Thu, 1 Mar 2012 14:32:46 +0000 (14:32 +0000)]
.gitignore

7 years agosimple commits
Ian Jackson [Thu, 1 Mar 2012 14:32:37 +0000 (14:32 +0000)]
simple commits

7 years agoa wrapper for gather
Ian Jackson [Thu, 1 Mar 2012 13:58:57 +0000 (13:58 +0000)]
a wrapper for gather

7 years agowip
Ian Jackson [Thu, 1 Mar 2012 13:49:48 +0000 (13:49 +0000)]
wip

7 years agofix up default target
Ian Jackson [Thu, 1 Mar 2012 03:45:09 +0000 (03:45 +0000)]
fix up default target

7 years agomake postscript
Ian Jackson [Thu, 1 Mar 2012 03:44:54 +0000 (03:44 +0000)]
make postscript

7 years agomakefile etc.
Ian Jackson [Thu, 1 Mar 2012 03:44:20 +0000 (03:44 +0000)]
makefile etc.

7 years agotrivial test document
Ian Jackson [Thu, 1 Mar 2012 03:43:36 +0000 (03:43 +0000)]
trivial test document

7 years agofixes
Ian Jackson [Thu, 1 Mar 2012 03:42:01 +0000 (03:42 +0000)]
fixes

7 years agoends, work, etc.
Ian Jackson [Thu, 1 Mar 2012 03:22:24 +0000 (03:22 +0000)]
ends, work, etc.

7 years agomore lemmas
Ian Jackson [Thu, 1 Mar 2012 02:39:20 +0000 (02:39 +0000)]
more lemmas

7 years agowork
Ian Jackson [Thu, 1 Mar 2012 01:57:03 +0000 (01:57 +0000)]
work

7 years agomdw's bigforall
Ian Jackson [Thu, 1 Mar 2012 01:56:59 +0000 (01:56 +0000)]
mdw's bigforall

7 years agomore style
Ian Jackson [Thu, 1 Mar 2012 01:39:24 +0000 (01:39 +0000)]
more style

7 years agohaspatch
Ian Jackson [Thu, 1 Mar 2012 01:37:48 +0000 (01:37 +0000)]
haspatch

7 years agono gather
Ian Jackson [Thu, 1 Mar 2012 01:10:09 +0000 (01:10 +0000)]
no gather

7 years agotry gather
Ian Jackson [Thu, 1 Mar 2012 01:07:24 +0000 (01:07 +0000)]
try gather

7 years agoconvert unique base to equation display
Ian Jackson [Thu, 1 Mar 2012 01:02:17 +0000 (01:02 +0000)]
convert unique base to equation display

7 years agopatchof
Ian Jackson [Thu, 1 Mar 2012 00:59:36 +0000 (00:59 +0000)]
patchof

7 years agoremove some obsolete deps
Ian Jackson [Thu, 1 Mar 2012 00:54:03 +0000 (00:54 +0000)]
remove some obsolete deps

7 years agobetter nothaspatch
Ian Jackson [Thu, 1 Mar 2012 00:53:38 +0000 (00:53 +0000)]
better nothaspatch

7 years agopancs, pends
Ian Jackson [Thu, 1 Mar 2012 00:49:39 +0000 (00:49 +0000)]
pancs, pends

7 years agoamsmath
Ian Jackson [Thu, 1 Mar 2012 00:49:30 +0000 (00:49 +0000)]
amsmath

7 years agotry leqno
Ian Jackson [Thu, 1 Mar 2012 00:28:46 +0000 (00:28 +0000)]
try leqno

7 years agofull stop
Ian Jackson [Thu, 1 Mar 2012 00:17:21 +0000 (00:17 +0000)]
full stop

7 years agodrop mnsymbol, use mathabx
Ian Jackson [Thu, 1 Mar 2012 00:14:45 +0000 (00:14 +0000)]
drop mnsymbol, use mathabx

7 years agodefine patch
Ian Jackson [Thu, 1 Mar 2012 00:11:46 +0000 (00:11 +0000)]
define patch

7 years agonice formatting for notation
Ian Jackson [Thu, 1 Mar 2012 00:04:45 +0000 (00:04 +0000)]
nice formatting for notation

7 years agodisplays
Ian Jackson [Wed, 29 Feb 2012 23:45:11 +0000 (23:45 +0000)]
displays

7 years agonot nath, urgh
Ian Jackson [Wed, 29 Feb 2012 23:39:30 +0000 (23:39 +0000)]
not nath, urgh

7 years agomore
Ian Jackson [Wed, 29 Feb 2012 23:36:33 +0000 (23:36 +0000)]
more

7 years agouse strayman
Ian Jackson [Wed, 29 Feb 2012 23:05:09 +0000 (23:05 +0000)]
use strayman

7 years agowip
Ian Jackson [Wed, 29 Feb 2012 22:43:25 +0000 (22:43 +0000)]
wip

7 years agoweird chars before begin document
Ian Jackson [Wed, 29 Feb 2012 21:29:07 +0000 (21:29 +0000)]
weird chars before begin document

7 years agoparents
Ian Jackson [Wed, 29 Feb 2012 21:28:43 +0000 (21:28 +0000)]
parents

7 years agopay pan etc.
Ian Jackson [Wed, 29 Feb 2012 21:00:45 +0000 (21:00 +0000)]
pay pan etc.

7 years ago{not,}{in,has}patch
Ian Jackson [Wed, 29 Feb 2012 19:00:19 +0000 (19:00 +0000)]
{not,}{in,has}patch

7 years agodeclareslashed seems to work
Ian Jackson [Wed, 29 Feb 2012 18:37:57 +0000 (18:37 +0000)]
declareslashed seems to work

7 years agotests
Ian Jackson [Wed, 29 Feb 2012 18:31:19 +0000 (18:31 +0000)]
tests