Index of /mmsolitaire

      Name                    Last modified       Size  Description

[DIR] Parent Directory 16-Oct-2017 21:45 - [   ] Axiom.class 11-Nov-2015 19:15 3k [   ] Connective.class 11-Nov-2015 19:15 1k [   ] DrawSymbols.class 11-Nov-2015 19:15 5k [TXT] LICENSE.TXT 03-Feb-2005 18:27 18k [   ] PrimFormula.class 11-Nov-2015 19:15 2k [   ] State.class 11-Nov-2015 19:15 4k [   ] Substitution.class 11-Nov-2015 19:15 1k [   ] Unification.class 11-Nov-2015 19:15 5k [   ] VariableName.class 11-Nov-2015 19:15 2k [TXT] __README.TXT 05-Jan-2014 14:35 1k [IMG] _ca.gif 19-May-2003 20:05 1k [IMG] _cb.gif 19-May-2003 20:05 1k [IMG] _cpblue.gif 18-Nov-2002 09:42 1k [IMG] _cqblue.gif 18-Nov-2002 09:42 1k [IMG] _crblue.gif 18-Nov-2002 09:42 1k [IMG] _nmemail.gif 04-Dec-2004 11:47 1k [IMG] _psi.gif 19-May-2003 20:05 1k [IMG] _varphi.gif 19-May-2003 20:05 1k [IMG] _x.gif 19-May-2003 20:04 1k [IMG] _y.gif 19-May-2003 20:04 1k [IMG] _z.gif 19-May-2003 20:04 1k [SND] bart.aye_carumba.au 18-Jun-2002 16:06 9k [SND] beep_spring.au 18-Jun-2002 16:06 8k [IMG] bigcap.gif 19-May-2003 15:59 1k [IMG] bigcup.gif 19-May-2003 15:59 1k [SND] boing.au 18-Jun-2002 16:06 3k [SND] bomb.au 18-Jun-2002 16:06 9k [SND] bubble1.au 18-Jun-2002 16:06 2k [IMG] cap.gif 19-May-2003 15:59 1k [SND] clink.au 18-Jun-2002 16:06 8k [IMG] cup.gif 19-May-2003 15:59 1k [SND] drip.au 18-Jun-2002 16:06 1k [IMG] eq.gif 19-May-2003 16:00 1k [IMG] exists.gif 19-May-2003 16:00 1k [IMG] favicon.ico 06-Oct-2007 23:31 1k [IMG] forall.gif 19-May-2003 16:00 1k [SND] gate.au 18-Jun-2002 16:06 8k [SND] hypspc.au 18-Jun-2002 16:06 4k [IMG] in.gif 19-May-2003 16:00 1k [IMG] lbrace.gif 25-Apr-2004 19:00 1k [IMG] leftrightarrow.gif 19-May-2003 16:00 1k [IMG] lnot.gif 19-May-2003 16:00 1k [IMG] lp.gif 19-May-2003 16:00 1k [   ] mm.class 11-Nov-2015 19:15 36k [IMG] mm.gif 26-Jun-2003 15:32 1k [TXT] mm.java 11-Nov-2015 17:01 113k [TXT] mm.java-1.5 26-Mar-2006 18:45 112k [   ] mm.java-1.5.gz 26-Mar-2006 18:45 24k [TXT] mm.java.2003 08-Sep-2003 09:46 118k [TXT] mm.java.2015bad 10-Nov-2015 15:38 112k [TXT] mms.html 26-Sep-2017 09:16 50k [   ] mmsol-0.2.tar.gz 26-Mar-2006 18:45 24k [   ] mmsol-0.5.tar.gz 28-Mar-2006 20:51 21k [DIR] mmsol-0.5/ 28-Jul-2017 04:25 - [TXT] mmsviewer.html 14-Aug-2016 20:23 1k [SND] ni.au 18-Jun-2002 16:06 2k [SND] ouch.au 18-Jun-2002 16:06 4k [TXT] pmproofs-2010-11-01.txt 16-Feb-2013 17:35 59k [TXT] pmproofs-2012-01-23.txt 16-Feb-2013 17:35 59k [TXT] pmproofs-orig.txt 30-May-2004 05:47 39k [TXT] pmproofs.txt 06-Jul-2016 23:07 60k [IMG] rbrace.gif 25-Apr-2004 19:00 1k [IMG] rp.gif 19-May-2003 16:01 1k [SND] splat.au 18-Jun-2002 16:06 9k [IMG] subseteq.gif 19-May-2003 16:01 1k [IMG] to.gif 19-May-2003 16:02 1k [IMG] varnothing.gif 19-May-2003 16:02 1k [IMG] vee.gif 19-May-2003 16:02 1k [IMG] vert.gif 19-May-2003 16:02 1k [IMG] wedge.gif 19-May-2003 16:02 1k [SND] whoosh.au 18-Jun-2002 16:06 8k [SND] wzzz.au 18-Jun-2002 16:06 6k [SND] wzzz2.au 18-Jun-2002 16:06 6k [SND] zoom.au 18-Jun-2002 16:06 10k