Web Server Statistics for the Computer Laboratory (Larry Paulson's pages only)

Program started at Mon-01-Sep-2014 10:01.
Analysed requests from Fri-01-Aug-2014 04:24 to Mon-01-Sep-2014 09:45 (31.22 days).

General Summary

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report contains overall statistics.

Figures in parentheses refer to the 7-day period ending 01-Sep-2014 10:01.

Successful requests: 17,386 (3,743)
Average successful requests per day: 556 (534)
Successful requests for pages: 4,529 (1,047)
Average successful requests for pages per day: 145 (149)
Failed requests: 636 (120)
Redirected requests: 95 (29)
Distinct files requested: 467 (326)
Distinct hosts served: 3,003 (829)
Unwanted logfile entries: 10,021
Data transferred: 4.76 gigabytes (1.21 gigabytes)
Average data transferred per day: 156.03 megabytes (177.71 megabytes)

Daily Summary

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the total activity for each day of the week, summed over all the weeks in the report.

Each unit (+) represents 15 requests for pages or part thereof.

dayreqspages 
Sun2774674+++++++++++++++++++++++++++++++++++++++++++++
Mon2392645+++++++++++++++++++++++++++++++++++++++++++
Tue2390627++++++++++++++++++++++++++++++++++++++++++
Wed2281589++++++++++++++++++++++++++++++++++++++++
Thu2568659++++++++++++++++++++++++++++++++++++++++++++
Fri2571636+++++++++++++++++++++++++++++++++++++++++++
Sat2410699+++++++++++++++++++++++++++++++++++++++++++++++

Domain Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the countries of the computers which requested files.

Listing domains, sorted by the amount of traffic.

reqs%bytesdomain
659146.53%[unresolved numerical addresses]
393227.60%.com (Commercial)
2316 7.34%.net (Networks)
840 3.84%.de (Germany)
602 3.32%.in (India)
14 2.10%.at (Austria)
353 1.00%[domain not given]
124 0.57%.za (South Africa)
87 0.52%[unknown domain]
136 0.51%.np (Nepal)
82 0.46%.cn (China)
411 0.37%.uk (United Kingdom)
79 0.35%.gh (Ghana)
10 0.31%.id (Indonesia)
84 0.31%.pk (Pakistan)
219 0.30%.ru (Russia)
130 0.29%.edu (USA Higher Education)
76 0.27%.au (Australia)
32 0.23%.ke (Kenya)
46 0.22%.zw (Zimbabwe)
121 0.21%.br (Brazil)
45 0.18%.th (Thailand)
91 0.18%.it (Italy)
68 0.18%.mx (Mexico)
17 0.16%.org (Non Profit Making Organisations)
41 0.15%.sg (Singapore)
4 0.13%.ee (Estonia)
73 0.13%.gr (Greece)
47 0.12%.nz (New Zealand)
12 0.12%.ua (Ukraine)
18 0.12%.pt (Portugal)
3 0.10%.am (Armenia)
14 0.10%.vn (Vietnam)
33 0.10%.tr (Turkey)
46 0.09%.dk (Denmark)
19 0.09%.ug (Uganda)
17 0.09%.ph (Philippines)
27 0.08%.lk (Sri Lanka)
32 0.08%.fj (Fiji)
4 0.07%.us (United States)
12 0.07%.ar (Argentina)
50 0.06%.jp (Japan)
24 0.06%.arpa (Arpanet)
3 0.06%.jo (Jordan)
24 0.05%.pl (Poland)
6 0.05%.tz (Tanzania)
6 0.05%.bt (Bhutan)
13 0.04%.ro (Romania)
27 0.04%.il (Israel)
29 0.04%.ca (Canada)
39 0.04%.fr (France)
6 0.04%.sd (Sudan)
24 0.04%.be (Belgium)
6 0.04%.my (Malaysia)
3 0.04%.bg (Bulgaria)
3 0.04%.uy (Uruguay)
3 0.04%.sl (Sierra Leone)
2 0.04%.kz (Kazakhstan)
40 0.04%.se (Sweden)
11 0.03%.hk (Hong Kong)
73 0.02%.cz (Czech Republic)
4 0.02%.kh (Cambodia)
3 0.02%.tt (Trinidad and Tobago)
6 0.02%.co (Colombia)
1 0.02%.cm (Cameroon)
10 0.02%.es (Spain)
5 0.01%.cy (Cyprus)
7 0.01%.ch (Switzerland)
9 0.01%.ir (Iran)
11 0.01%.nl (Netherlands)
7 .ie (Ireland)
1 .im (Isle of Man)
1 .sk (Slovakia)
3 .gov (USA Government)
4 .fi (Finland)
1 .ck (Cook Islands)
4 .pro (Professionals)
2 .lt (Lithuania)
2 .hr (Croatia)
1 .mil (USA Military)
1 .cl (Chile)
1 .do (Dominican Republic)
1 .hu (Hungary)
1 .md (Moldova)

Organisation Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the organisations of the computers which requested files.

Listing the top 20 organisations by the number of requests, sorted by the number of requests.

reqs%bytesorganisation
844 4.53%msn.com
621 0.48%comcast.net
609 2.86%117
580 3.46%41
539 3.05%yandex.com
43810.13%113
372 4.79%amazonaws.com
357 1.74%your-server.de
353 1.00%[domain not given]
308 1.85%baidu.com
288 0.14%cam.ac.uk
276 altushost.com
270 0.06%ip-192-99-160.net
216 1.41%alicedsl.de
202 0.12%61.135
181 page2rss.com
179 0.75%122.airtelbroadband.in
175 0.18%mail.ru
170 9.11%wotbox.com
170 1.00%106
1023853.33%[not listed: 932 organisations]

Search Word Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists which words people used in search engines to find the site.

Listing the top 30 query words by the number of requests, sorted by the number of requests.

reqssearch term
281software
249pdf
217engineering
158notes
118in
64http://www.cl.cam.ac.uk/~lp15/papers/notes/se
64i.pdf
56computer
46hindi
42a
40of
33to
30make
29how
28making
28small
26on
22for
22file
21download
18the
17bca
14protocols
14engineer
13mall
13rajib
13by
12with
10free
10machine
578[not listed: 270 search terms]

Operating System Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the operating systems used by visitors.

Listing operating systems, sorted by the number of requests for pages.

no.reqspagesOS
134351746OS unknown
2101051511Windows
 81941055  Unknown Windows
 1791417  Windows XP
 2919  Windows 2000
 1716  Windows 98
 413  Windows Server 2003
 11  Windows ME
 50  Windows CE
 270  Windows NT
31354480Macintosh
4814477Known robots
51468287Unix
 1453279  Linux
 136  BSD
 22  Other Unix
6230Symbian OS

Status Code Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the HTTP status codes of all requests.

Listing status codes, sorted numerically.

reqsstatus code
9731200 OK
6894206 Partial content
95301 Document moved permanently
761304 Not modified since last retrieval
1400 Bad request
57403 Access forbidden
578404 Document not found

File Size Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the sizes of files.

sizereqs%bytes
01470 
1B- 10B16 
11B- 100B2 
101B- 1kB156 
1kB- 10kB3207 0.35%
10kB-100kB7499 6.82%
100kB- 1MB455444.30%
1MB- 10MB43823.56%
10MB-100MB4424.97%

File Type Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the extensions of files.

Listing extensions with at least 0.1% of the traffic, sorted by the amount of traffic.

reqs%bytesextension
1087062.24%.pdf [Adobe Portable Document Format]
49227.56%.gz [Gzip compressed files]
42327.50%  .tar.gz [Compressed archives]
46 8.34%.tbz
8 0.48%.tgz
840 0.47%.jpg [JPEG graphics]
2942 0.40%[directories]
1587 0.25%.html [Hypertext Markup Language]
35 0.13%.csv
566 0.12%[not listed: 6 extensions]

Request Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the files on the site.

Listing files with at least 0.03% of the requests, sorted by the number of requests.

reqs%byteslast timefile
497531.64% 1/Sep/14 07:57/~lp15/papers/Notes/SE-I.pdf
1102 3.02% 1/Sep/14 06:30/~lp15/papers/Reports/equivclasses-slides.pdf
858 0.16% 1/Sep/14 07:35/~lp15/
458 0.02% 1/Sep/14 07:30/~lp15/MLbook/
381 0.32% 1/Sep/14 07:35/~lp15/images/acm-logo.jpg
380 0.10% 1/Sep/14 07:35/~lp15/images/larry-paulson.jpg
326 0.11% 1/Sep/14 08:57/~lp15/papers/refereed.html
316 3.10% 1/Sep/14 00:41/~lp15/Sue/Thesis.pdf
31511.24%29/Aug/14 14:57/~lp15/archive/Isabelle2011-1.tar.gz
288 3.91% 1/Sep/14 03:41/~lp15/papers/Reports/thesis.pdf
185 0.44% 1/Sep/14 02:15/~lp15/papers/Reports/fleuriot-kepler.pdf
169 0.75%31/Aug/14 14:57/~lp15/papers/Auth/jcs.pdf
168 0.03% 1/Sep/14 02:17/~lp15/papers/Arith/
122 31/Aug/14 20:46/~lp15/MLbook/programs/
118 0.26% 1/Sep/14 03:22/~lp15/papers/Isabelle/aisc98.pdf
111 0.26%31/Aug/14 14:35/~lp15/papers/Notes/Founds-FP.pdf
103 0.45% 1/Sep/14 07:58/~lp15/papers/Reports/popl82.pdf
103 0.03%31/Aug/14 07:57/~lp15/papers/Auth/
95 0.02%30/Aug/14 21:18/~lp15/papers/Sets/
91 0.01% 1/Sep/14 05:08/~lp15/Sue/
91 0.13%28/Aug/14 17:37/~lp15/papers/Automation/meng-termination.pdf
86 0.63%31/Aug/14 05:22/~lp15/papers/Arith/MetiTarski-jar.pdf
85  1/Sep/14 01:16/~lp15/MLbook/exercises/
83 0.01%31/Aug/14 01:07/~lp15/papers/Automation/
83 0.28%31/Aug/14 16:51/~lp15/papers/Sets/reflection.pdf
71 0.01%31/Aug/14 16:57/~lp15/papers/lecture-courses.html
69 0.23%30/Aug/14 00:21/~lp15/papers/Reports/equivclasses.pdf
69 0.02% 1/Sep/14 07:04/~lp15/Grants/SET/
68 0.01% 1/Sep/14 09:10/~lp15/Grants/AutoPolyFun/
64  1/Sep/14 05:05/~lp15/Grants/
64 0.07% 1/Sep/14 09:03/~lp15/papers/Reports/mutil.pdf
63  1/Sep/14 09:40/~lp15/Pages/cv.html
62 0.21% 1/Sep/14 07:17/~lp15/papers/Auth/tls.pdf
61 31/Aug/14 18:34/~lp15/MLbook/general.html
61 0.11%30/Aug/14 15:57/~lp15/Pages/vita.pdf
60 0.01%29/Aug/14 14:44/~lp15/MLbook/ERRATA.html
60 0.25%31/Aug/14 01:04/~lp15/Pages/Munich-slides.pdf
58  1/Sep/14 05:06/~lp15/MLbook/pub-details.html
57 0.01%31/Aug/14 05:09/~lp15/papers/isabelle.html
57 0.15%30/Aug/14 17:11/~lp15/papers/Reports/TPHOLs05.pdf
56 0.13% 1/Sep/14 07:16/~lp15/papers/Bella/esorics98.pdf
55  1/Sep/14 08:35/~lp15/papers/Reports/
54 0.06%31/Aug/14 18:36/~lp15/papers/Auth/SET-overview-2002.pdf
54 0.01%31/Aug/14 11:34/~lp15/archive/
54 0.01%31/Aug/14 07:34/~lp15/papers/workshop.html
53 0.06% 1/Sep/14 08:57/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
52 0.01%30/Aug/14 04:57/~lp15/Grants/UNITY/
48  1/Sep/14 08:42/~lp15/papers/
48 30/Aug/14 18:18/~lp15/MLbook/programs/sample2.sml
47 0.12%31/Aug/14 18:31/~lp15/papers/Reports/blast.pdf
47 0.01%31/Aug/14 05:00/~lp15/papers/invited.html
46 0.01%30/Aug/14 19:01/~lp15/MLbook/review.html
45 0.01%31/Aug/14 03:40/~lp15/MLbook/programs/sample3.sml
44 0.09%29/Aug/14 00:02/~lp15/papers/Workshop/papers/voelker.pdf
44 0.32%31/Aug/14 05:07/~lp15/papers/Auth/dagstuhl2003-slides.pdf
43 0.07%30/Aug/14 12:56/~lp15/papers/Sets/constructible-abstract.pdf
43 29/Aug/14 14:22/~lp15/papers/books.html
43 31/Aug/14 05:41/~lp15/papers/Workshop/
41 30/Aug/14 22:38/~lp15/papers/UNITY/
41 0.08%28/Aug/14 20:22/~lp15/papers/Automation/paar.pdf
40 29/Aug/14 15:07/~lp15/papers/Arith/qepcad-for-mac.html
40 0.02% 1/Sep/14 05:08/~lp15/Sue/Sue Paulson.jpg
39 0.08%30/Aug/14 03:41/~lp15/papers/Automation/leo2-ijcar.pdf
39 0.09%31/Aug/14 02:59/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
39 0.02%31/Aug/14 16:57/~lp15/images/pilkington.jpg
39 31/Aug/14 01:07/~lp15/Grants/Automation/
39 0.09%29/Aug/14 23:42/~lp15/papers/Arith/Hscc09.pdf
38 0.13% 1/Sep/14 06:28/~lp15/papers/Sets/set-II.pdf
38 0.08%29/Aug/14 17:05/~lp15/papers/Arith/fmcad2009.pdf
38 0.01%30/Aug/14 08:48/~lp15/MLbook/exercises/exer2.html
37 0.04%30/Aug/14 01:36/~lp15/papers/Auth/yahalom.pdf
36 29/Aug/14 07:13/~lp15/Grants/LEO-II/
35 0.13%31/Aug/14 15:39/~lp15/papers/Arith/case-splitting-stats.csv
35 0.17%31/Aug/14 21:47/~lp15/papers/Sets/constructible-slides.pdf
35 0.06%29/Aug/14 01:54/~lp15/papers/Notes/strategy.pdf
34 27/Aug/14 23:48/~lp15/papers/Arith/download.html
34 0.10%31/Aug/14 00:07/~lp15/papers/Sets/set-I.pdf
34 0.11%31/Aug/14 19:06/~lp15/papers/Kammueller/sylow.pdf
33 0.25%28/Aug/14 17:37/~lp15/papers/Bella/purchase-JAR.pdf
33 0.06%30/Aug/14 17:11/~lp15/papers/Arith/Narayanan DATE.pdf
33 0.15%30/Aug/14 10:23/~lp15/papers/Bella/smartcards-jcs.pdf
32 0.01%28/Aug/14 21:51/~lp15/MLbook/exercises/exer4.html
32 0.08%28/Aug/14 17:37/~lp15/papers/Notes/MOD-slides.pdf
32 0.17%31/Aug/14 17:42/~lp15/papers/Bella/accountability.pdf
32 0.08%29/Aug/14 20:40/~lp15/papers/UNITY/Mechanizing-compositional.pdf
31 0.02%30/Aug/14 21:37/~lp15/Usage/
31 31/Aug/14 09:40/~lp15/papers/hol.html
31 0.01%30/Aug/14 01:31/~lp15/MLbook/exercises/exer8.html
31 0.11% 1/Sep/14 03:17/~lp15/papers/Bella/certified-email.pdf
30 31/Aug/14 11:34/~lp15/Grants/arith.html
30 0.07%29/Aug/14 06:31/~lp15/papers/Bella/nonrepudiation.pdf
30 0.53%31/Aug/14 05:02/~lp15/papers/Auth/lics-slides.pdf
29 29/Aug/14 07:19/~lp15/MLbook/first/
29 0.01%24/Aug/14 14:57/~lp15/MLbook/exercises/exer7.html
29 0.01%31/Aug/14 20:46/~lp15/MLbook/programs/sample4.sml
29 29/Aug/14 05:52/~lp15/MLbook/programs/sample5.sml
28 30/Aug/14 22:32/~lp15/papers/recur.html
28 1.19%31/Aug/14 19:18/~lp15/papers/Notes/LCF+.pdf
27  1/Sep/14 05:07/~lp15/Pages/CL-English.html
27 0.14%28/Aug/14 17:37/~lp15/papers/Automation/filtering-jal.pdf
27 0.18%29/Aug/14 17:33/~lp15/papers/Arith/calculemus2008.pdf
27  1/Sep/14 08:26/~lp15/papers/Arith/atan-problem-1-weak.html
26 0.02%31/Aug/14 22:07/~lp15/papers/Auth/auth-slides.pdf
26 29/Aug/14 15:21/~lp15/papers/Notes/
26 0.01%28/Aug/14 01:10/~lp15/MLbook/programs/sample10.sml
26 0.08%29/Aug/14 23:50/~lp15/papers/Bella/registration.pdf
25 31/Aug/14 11:25/~lp15/papers/Deduction/
25 0.01%30/Aug/14 13:25/~lp15/MLbook/programs/sample8.sml
25 0.01%31/Aug/14 21:01/~lp15/MLbook/first/programs/Lists-Trees.ML
25 31/Aug/14 18:34/~lp15/MLbook/disclaimer.html
25 0.04%29/Aug/14 12:53/~lp15/papers/Auth/lics.pdf
24 0.05%28/Aug/14 21:52/~lp15/papers/Bella/cav98.pdf
24 0.06%29/Aug/14 20:05/~lp15/papers/Workshop/papers/vigano.pdf
24 0.04%28/Aug/14 17:37/~lp15/papers/Auth/ijcar2001.pdf
23 0.01% 1/Sep/14 08:47/~lp15/MLbook/programs/sample7.sml
23 0.11%30/Aug/14 20:39/~lp15/papers/Automation/translations-jar.pdf
23 0.12%28/Aug/14 21:02/~lp15/papers/Reports/Bridge-ml.pdf
23 0.01% 1/Sep/14 06:03/~lp15/MLbook/programs/sample9.sml
23 0.12%31/Aug/14 07:35/~lp15/papers/Automation/reconstruction.pdf
23 0.01%28/Aug/14 04:21/~lp15/MLbook/exercises/exer6.html
23 1.17%29/Aug/14 14:21/~lp15/papers/Arith/ITP 2012 presentation.pdf
23 0.08%29/Aug/14 17:27/~lp15/papers/Isabelle/coding.pdf
23 0.16%30/Aug/14 02:40/~lp15/papers/Sets/constructible-theory.pdf
22 0.02%31/Aug/14 07:36/~lp15/papers/paulson.bib
22 0.19%28/Aug/14 17:37/~lp15/Grants/Automation/poster.pdf
22 0.09%28/Aug/14 17:37/~lp15/papers/Auth/SET-overview-IJIS.pdf
22 0.09%28/Aug/14 17:38/~lp15/papers/Isabelle/Goedel-ar.pdf
22 0.01%28/Aug/14 17:37/~lp15/papers/Arith/NFM2014-invited.pdf
22 1.20%28/Aug/14 17:37/~lp15/papers/Arith/FroCos-presentation.pdf
22 31/Aug/14 11:33/~lp15/papers/Workshop/participants.html
21 0.07%30/Aug/14 10:04/~lp15/papers/Automation/filtering.pdf
21 0.06%31/Aug/14 15:38/~lp15/papers/Auth/multicast_verification.pdf
21 30/Aug/14 17:06/~lp15/MLbook/exercises/exer5.html
21 0.05%30/Aug/14 08:46/~lp15/papers/Arith/lpar2007.pdf
21 0.05%28/Aug/14 17:37/~lp15/papers/Bella/dimacs97.pdf
21 0.24%31/Aug/14 01:50/~lp15/papers/Notes/formalizing-abst-slides.pdf
21 0.07%29/Aug/14 23:27/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
21 0.02%31/Aug/14 05:05/~lp15/papers/Auth/security-protocols.pdf
21 0.06%31/Aug/14 13:05/~lp15/papers/Bella/purchase.pdf
21 31/Aug/14 05:36/~lp15/Data/relevance/
21 0.21%28/Aug/14 20:09/~lp15/papers/Automation/info-and-comp.pdf
20 0.02%28/Aug/14 17:37/~lp15/papers/Notes/strategy-slides.pdf
20 0.05% 1/Sep/14 04:13/~lp15/papers/Automation/IJCAR2004.pdf
20 30/Aug/14 01:30/~lp15/Grants/holisa.html
19 0.06%31/Aug/14 05:19/~lp15/papers/Sets/milner-ind-defs.pdf
19 30/Aug/14 19:23/~lp15/papers/Bella/
19 0.02%28/Aug/14 17:37/~lp15/papers/Arith/Overcoming.pdf
19 0.06%30/Aug/14 03:13/~lp15/papers/Automation/jar-smt.pdf
19 28/Aug/14 20:08/~lp15/Pages/ACS-proposals.html
19 0.06%28/Aug/14 17:37/~lp15/papers/Sets/AC.pdf
19 31/Aug/14 07:37/~lp15/Grants/Chaieb.html
19 0.03%29/Aug/14 13:50/~lp15/papers/Arith/ITP-2012-invited.pdf
19 0.18%30/Aug/14 11:47/~lp15/papers/Bella/TPHOLs03-slides.pdf
18 31/Aug/14 07:25/~lp15/MLbook/programs/notes.html
18 0.02%29/Aug/14 19:49/~lp15/papers/Arith/FroCoS-2013-invited.pdf
18 0.05%29/Aug/14 19:10/~lp15/papers/UNITY/ehmety-composition.pdf
18 31/Aug/14 13:03/~lp15/Pages/
18  1/Sep/14 08:16/~lp15/Grants/BeyondLinArith/
18 0.06%31/Aug/14 15:16/~lp15/papers/Automation/translations.pdf
18 0.01%29/Aug/14 11:19/~lp15/MLbook/programs/sample10-old.sml
18 0.03%28/Aug/14 17:37/~lp15/papers/Arith/pdpar2006.pdf
18 0.65%28/Aug/14 17:37/~lp15/papers/Arith/Overcoming-slides.pdf
18 0.10%30/Aug/14 08:20/~lp15/papers/UNITY/UNITY.pdf
18 0.11%24/Aug/14 21:30/~lp15/papers/Deduction/lecture3.pdf
18 0.10%28/Aug/14 17:37/~lp15/papers/Auth/SET-overview-slides.pdf
18 0.10%28/Aug/14 17:38/~lp15/papers/Reports/logics97.pdf
18 0.11%30/Aug/14 22:16/~lp15/papers/Deduction/lecture4.pdf
18 0.15%28/Aug/14 17:37/~lp15/papers/Arith/NFM2014-slides.pdf
18 0.19%28/Aug/14 17:37/~lp15/papers/Auth/ijcar2001-slides.pdf
17 0.01%29/Aug/14 00:16/~lp15/MLbook/exercises/exer3.html
17 0.06%28/Aug/14 17:38/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
17 0.04%29/Aug/14 14:54/~lp15/papers/UNITY/tphols01.pdf
17 0.02%28/Aug/14 17:37/~lp15/papers/Notes/leeds-notes.pdf
17 0.01%31/Aug/14 01:44/~lp15/papers/Reviews/construct.pdf
17 0.03%28/Aug/14 17:37/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
17 0.22%28/Aug/14 17:37/~lp15/papers/Arith/metit-slides.pdf
17 0.06%31/Aug/14 01:48/~lp15/papers/Kammueller/Locales-TPHOLs99.pdf
17 0.01%29/Aug/14 17:29/~lp15/Usage/images/
17 0.06%28/Aug/14 17:37/~lp15/papers/Bella/esorics2000.pdf
17 0.03%28/Aug/14 17:37/~lp15/Grants/AutoPolyFun/case.pdf
17 27/Aug/14 08:12/~lp15/MLbook/exercises/disclaimer.html
17 30/Aug/14 15:02/~lp15/MLbook/programs/sample3-old.sml
16 0.04% 1/Sep/14 06:31/~lp15/papers/Workshop/papers/staples.pdf
16 27/Aug/14 20:38/~lp15/Grants/auth.html
16 0.23%29/Aug/14 09:16/~lp15/papers/Reports/TypeClasses.pdf
16 29/Aug/14 11:26/~lp15/MLbook/programs/sample8-2004.sml
16 0.06%28/Aug/14 17:37/~lp15/papers/Automation/Huet colloquium.pdf
15 24/Aug/14 14:50/~lp15/Data/ho-translations/
15 0.03% 1/Sep/14 09:33/~lp15/Grants/Automation/final.pdf
15 0.02%28/Aug/14 17:37/~lp15/papers/Reports/CADE11.pdf
15 30/Aug/14 09:32/~lp15/Grants/temporal.html
15 0.02%30/Aug/14 17:34/~lp15/papers/Auth/recur-slides.pdf
15 0.01%29/Aug/14 23:46/~lp15/papers/Sets/AC-slides.pdf
15 0.04%28/Aug/14 18:20/~lp15/papers/Automation/cade2011-sledge-smt.pdf
14 29/Aug/14 13:23/~lp15/MLbook/programs/sample8-old.sml
14  1/Sep/14 02:28/~lp15/MLbook/programs/ROOT.sml
14  1/Sep/14 00:11/~lp15/papers/Sets/ind-defs-slides.pdf
14 0.11%30/Aug/14 08:31/~lp15/papers/Reports/intro-to-isabelle.pdf
14 0.01%30/Aug/14 12:52/~lp15/Grants/UNITY/case.pdf
14 29/Aug/14 16:16/~lp15/MLbook/programs/sample9-2004.sml
14 28/Aug/14 15:51/~lp15/papers/Workshop/programme.html
13 31/Aug/14 16:47/~lp15/papers/Workshop/staples.html
13 31/Aug/14 01:37/~lp15/MLbook/programs/test10.sml
13 0.03%28/Aug/14 17:37/~lp15/papers/Arith/case-splitting.pdf
13 0.02%28/Aug/14 17:37/~lp15/papers/Isabelle/Goedel-logic.pdf
13 24/Aug/14 14:58/~lp15/papers/Arith/RELEASE-NOTES.txt
13 0.01% 1/Sep/14 04:27/~lp15/papers/Reports/CADE9.pdf
13 0.46%28/Aug/14 17:37/~lp15/Sue/Thesis-Appendices.pdf
12  1/Sep/14 08:45/~lp15/papers/Workshop/nipkow.html
12 31/Aug/14 11:35/~lp15/MLbook/first/programs/
12 0.07%28/Aug/14 17:37/~lp15/papers/Auth/tls-slides.pdf
12 31/Aug/14 18:33/~lp15/Grants/SET/final.pdf
12 31/Aug/14 13:37/~lp15/papers/Workshop/futures.html
12 0.12%29/Aug/14 15:02/~lp15/papers/Arith/Sogokon-nfm14.pdf
11 0.05%28/Aug/14 03:09/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
11 30/Aug/14 01:26/~lp15/papers/Workshop/matthews.html
11 0.37%28/Aug/14 17:38/~lp15/Sue/Phd-Poster.pdf
11 0.04%31/Aug/14 15:43/~lp15/papers/Workshop/papers/nipkow.pdf
11 0.15%28/Aug/14 17:37/~lp15/papers/Reports/TypeClasses-slides.pdf
11 0.01%31/Aug/14 10:15/~lp15/Sue/Cultures of Dance.ppt
11 23/Aug/14 17:01/~lp15/MLbook/first/programs/Functions.ML
11 0.04%28/Aug/14 17:37/~lp15/papers/Sets/reflection-slides.pdf
11 0.01%30/Aug/14 05:28/~lp15/papers/Workshop/kammueller.pdf
11 0.04%31/Aug/14 07:05/~lp15/papers/Isabelle/sylow.pdf
11 30/Aug/14 07:29/~lp15/MLbook/first/ERRATA1.txt
10 23/Aug/14 04:39/~lp15/MLbook/first/programs/ParsePrint.ML
10 29/Aug/14 09:19/~lp15/papers/Reviews/
10 0.01%30/Aug/14 13:37/~lp15/papers/Reviews/MLer.pdf
10 0.03%30/Aug/14 14:51/~lp15/papers/Workshop/papers/thompson.pdf
10 0.14%28/Aug/14 17:37/~lp15/papers/Isabelle/Cube-presentation.pdf
10 29/Aug/14 21:23/~lp15/papers/Workshop/thompson.html
10 0.05%22/Aug/14 12:05/~lp15/papers/Workshop/papers/bednarczyk.pdf
10 0.01%29/Aug/14 22:30/~lp15/MLbook/first/programs/Hal.ML
10 23/Aug/14 16:26/~lp15/MLbook/first/programs/Imperative.ML
10 0.04%29/Aug/14 13:06/~lp15/papers/Arith/cicm2012.pdf
10 0.03%27/Aug/14 12:16/~lp15/papers/Ballarin/coding.pdf
10 0.05%24/Aug/14 22:37/~lp15/papers/Workshop/papers/kammueller.pdf
10 0.02%28/Aug/14 17:37/~lp15/papers/Sets/final.pdf
9 0.02%30/Aug/14 21:05/~lp15/papers/Workshop/papers/ayari.pdf
9 0.19%29/Aug/14 01:13/~lp15/papers/Auth/dagstuhl2001-slides.pdf
9 0.01%30/Aug/14 12:52/~lp15/Grants/LEO-II/leo2-case.pdf
9 23/Aug/14 16:22/~lp15/images/
9 0.45%28/Aug/14 17:38/~lp15/papers/Isabelle/Goedel-slides.pdf
9 0.01%28/Aug/14 17:37/~lp15/Grants/Automation/case.pdf
9 2.50%27/Aug/14 08:07/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
9 28/Aug/14 17:37/~lp15/papers/Reports/blast-slides.pdf
9 30/Aug/14 03:30/~lp15/Data/relevance/unfiltered-vampire.txt
9 0.25%26/Aug/14 04:59/~lp15/Grants/arith-poster.pdf
9 24/Aug/14 14:57/~lp15/Sue/Cultures of Dance.html
8 31/Aug/14 22:54/~lp15/MLbook/first/ERRATA3.txt
8  1/Sep/14 08:56/~lp15/papers/Workshop/kalvala.html
8 0.02%24/Aug/14 21:09/~lp15/Grants/Chaieb-case.pdf
8 0.01%26/Aug/14 14:01/~lp15/MLbook/first/ML-syntax.ps.gz
8 0.01%25/Aug/14 13:31/~lp15/Grants/SET/case.pdf
8 21/Aug/14 05:25/~lp15/MLbook/first/programs/Lambda.ML
8 6.12% 1/Sep/14 09:39/~lp15/archive/Isabelle2013-1.tar.gz
8 29/Aug/14 18:16/~lp15/papers/Isabelle/
8 0.48% 7/Aug/14 17:36/~lp15/papers/Arith/metit.tgz
8 29/Aug/14 15:20/~lp15/archive/ERRATA.txt
8  1/Sep/14 08:45/~lp15/papers/Workshop/papers/
8 26/Aug/14 11:28/~lp15/MLbook/first/programs/Modules.ML
8 27/Aug/14 22:22/~lp15/papers/Kammueller/
8 27/Aug/14 18:51/~lp15/papers/Workshop/agerholm.html
8 30/Aug/14 19:36/~lp15/Data/relevance/unfiltered-spass.txt
8 0.09%30/Aug/14 14:02/~lp15/Grants/arith-case.pdf
7 0.04%28/Aug/14 17:38/~lp15/papers/Auth/SET-document.pdf
7 29/Aug/14 03:22/~lp15/SpryAssets/
7 29/Aug/14 04:33/~lp15/papers/Workshop/paulson.html
7 0.10%28/Aug/14 17:58/~lp15/papers/Automation/reconstruction-slides.pdf
7 29/Aug/14 00:56/~lp15/papers/Ballarin/
7 0.01%30/Aug/14 07:56/~lp15/papers/Workshop/papers/owens.pdf
7 3.06%29/Aug/14 00:19/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
7 0.02%28/Aug/14 17:37/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
7 29/Aug/14 19:12/~lp15/MLbook/StandardML.plist
7 0.01%30/Aug/14 22:28/~lp15/papers/Automation/thf-sledge.pdf
7 30/Aug/14 05:33/~lp15/Data/relevance/unfiltered-E.txt
7 0.02%31/Aug/14 00:39/~lp15/papers/Workshop/papers/agerholm.pdf
7 24/Aug/14 15:05/~lp15/archive/cant-ozols.ps.gz
6 0.01%28/Aug/14 07:42/~lp15/papers/Workshop/front.pdf
6 29/Aug/14 22:23/~lp15/tmp/
6 0.54% 1/Sep/14 08:39/~lp15/Data/ho-translations/Comb.tbz
6  1/Sep/14 08:50/~lp15/papers/Workshop/heule.html
6 28/Aug/14 02:20/~lp15/papers/Workshop/owens.txt
6 0.04%29/Aug/14 12:13/~lp15/papers/UNITY/composition.pdf
6 0.08%13/Aug/14 08:35/~lp15/papers/Deduction/lecture1.pdf
6 0.01%31/Aug/14 18:22/~lp15/papers/Workshop/papers/kalvala-linear.pdf
6 0.01%26/Aug/14 03:50/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
6 0.03%30/Aug/14 19:37/~lp15/Data/relevance/tptp-2007-03-13.tbz
6 25/Aug/14 19:56/~lp15/Data/
6 0.01%28/Aug/14 13:03/~lp15/papers/Ballarin/aisc98.pdf
6 27/Aug/14 00:28/~lp15/MLbook/ERRATA.txt
6 28/Aug/14 13:28/~lp15/css/
6 28/Aug/14 08:26/~lp15/MLbook/first/ERRATA2.txt
26412.91% 1/Sep/14 09:38[not listed: 81 files]