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

Program started at Mon-17-Nov-2014 22:01.
Analysed requests from Fri-17-Oct-2014 04:28 to Mon-17-Nov-2014 21:51 (31.72 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 17-Nov-2014 22:01.

Successful requests: 24,707 (5,532)
Average successful requests per day: 778 (790)
Successful requests for pages: 5,634 (953)
Average successful requests for pages per day: 177 (136)
Failed requests: 681 (203)
Redirected requests: 161 (26)
Distinct files requested: 497 (312)
Distinct hosts served: 4,787 (1,283)
Corrupt logfile lines: 8
Unwanted logfile entries: 14,050
Data transferred: 5.47 gigabytes (1.17 gigabytes)
Average data transferred per day: 176.58 megabytes (170.99 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 20 requests for pages or part thereof.

dayreqspages 
Sun3285750++++++++++++++++++++++++++++++++++++++
Mon4613825++++++++++++++++++++++++++++++++++++++++++
Tue3305784++++++++++++++++++++++++++++++++++++++++
Wed3230777+++++++++++++++++++++++++++++++++++++++
Thu3785800++++++++++++++++++++++++++++++++++++++++
Fri3397871++++++++++++++++++++++++++++++++++++++++++++
Sat3092827++++++++++++++++++++++++++++++++++++++++++

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
900037.98%[unresolved numerical addresses]
523427.59%.com (Commercial)
2515 9.15%.net (Networks)
663 3.08%.de (Germany)
602 2.83%[domain not given]
509 2.60%.in (India)
1471 2.19%.uk (United Kingdom)
64 1.84%.jp (Japan)
930 1.60%.edu (USA Higher Education)
231 0.87%.au (Australia)
197 0.73%.ca (Canada)
170 0.62%[unknown domain]
57 0.61%.th (Thailand)
210 0.59%.gr (Greece)
522 0.58%.ru (Russia)
115 0.48%.cn (China)
162 0.42%.br (Brazil)
134 0.38%.pk (Pakistan)
87 0.35%.mx (Mexico)
90 0.31%.cz (Czech Republic)
101 0.24%.fr (France)
64 0.23%.gh (Ghana)
50 0.22%.ie (Ireland)
41 0.21%.zw (Zimbabwe)
62 0.21%.nl (Netherlands)
22 0.20%.nz (New Zealand)
68 0.20%.it (Italy)
93 0.19%.dk (Denmark)
33 0.17%.se (Sweden)
7 0.17%.lu (Luxembourg)
69 0.16%.tr (Turkey)
37 0.16%.ke (Kenya)
63 0.15%.sg (Singapore)
24 0.14%.cm (Cameroon)
19 0.14%.ug (Uganda)
54 0.14%.ph (Philippines)
62 0.13%.id (Indonesia)
11 0.13%.jo (Jordan)
55 0.13%.np (Nepal)
37 0.12%.hu (Hungary)
97 0.12%.pl (Poland)
6 0.11%.za (South Africa)
24 0.10%.my (Malaysia)
27 0.10%.vn (Vietnam)
9 0.10%.ae (United Arab Emirates)
59 0.09%.at (Austria)
57 0.08%.no (Norway)
18 0.08%.lk (Sri Lanka)
43 0.07%.es (Spain)
59 0.07%.ch (Switzerland)
52 0.07%.org (Non Profit Making Organisations)
23 0.06%.arpa (Arpanet)
12 0.06%.ir (Iran)
22 0.05%.pt (Portugal)
24 0.05%.ro (Romania)
30 0.04%.be (Belgium)
18 0.04%.ar (Argentina)
21 0.03%.us (United States)
21 0.03%.hr (Croatia)
3 0.03%.gov (USA Government)
5 0.03%.tw (Taiwan)
3 0.03%.mu (Mauritius)
16 0.03%.zm (Zambia)
4 0.03%.rw (Rwanda)
3 0.03%.cl (Chile)
3 0.03%.gy (Guyana)
3 0.03%.al (Albania)
3 0.03%.ye (Yemen)
7 0.03%.mil (USA Military)
10 0.02%.is (Iceland)
6 0.02%.fi (Finland)
1 0.02%.na (Namibia)
1 0.02%.ge (Georgia)
1 0.02%.sa (Saudi Arabia)
8 0.01%.co (Colombia)
3 0.01%.hk (Hong Kong)
2 0.01%.eg (Egypt)
5 0.01%.tt (Trinidad and Tobago)
31 0.01%.il (Israel)
2 0.01%.lt (Lithuania)
1 .ua (Ukraine)
1 .tv (Tuvalu)
6 .bg (Bulgaria)
4 .bd (Bangladesh)
3 .cy (Cyprus)
3 .am (Armenia)
5 .do (Dominican Republic)
1 .uy (Uruguay)
1 .gl (Greenland)
1 .ba (Bosnia-Herzegovina)
1 .su (Former USSR)
2 .sk (Slovakia)
1 .pe (Peru)

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
1165 9.79%amazonaws.com
993 1.07%cam.ac.uk
786 5.75%msn.com
685 2.65%117
667 3.08%41
602 2.83%[domain not given]
471 2.03%baidu.com
447 0.43%mail.ru
376 1.58%213.55
327 1.93%59
319 1.84%yandex.com
299 0.50%comcast.net
298 0.08%17
291 0.82%your-server.de
264 1.30%39
254 0.60%119
248 0.95%virginm.net
244 0.45%rr.com
239 1.26%123
225 0.76%112
1550760.30%[not listed: 1,242 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
350software
328engineering
248pdf
209notes
62in
48download
46for
44free
42of
41http://www.cl.cam.ac.uk/~lp15/papers/notes/se
41i.pdf
37the
33computer
32a
26on
23what
20we
20diploma
20from
20are
19hindi
15equivalence
15and
13to
12proof
12otes
12that
12file
11engi
11get
745[not listed: 312 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
139771968OS unknown
2142881717Windows
 127811452  Unknown Windows
 1432242  Windows XP
 1612  Windows 2000
 98  Windows 98
 22  Windows ME
 201  Windows Server 2003
 280  Windows NT
32455948Macintosh
42323543Unix
 2315542  Linux
 41  Other Unix
 40  BSD
51597443Known robots
6170Symbian 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
12702200 OK
11086206 Partial content
161301 Document moved permanently
919304 Not modified since last retrieval
69403 Access forbidden
560404 Document not found
5405 Method not allowed
47416 Requested range not valid

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
01054 
1B- 10B9 
11B- 100B7 
101B- 1kB298 
1kB- 10kB3616 0.26%
10kB-100kB13081 9.58%
100kB- 1MB617352.18%
1MB- 10MB43421.88%
10MB-100MB3516.10%

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
1682778.77%.pdf [Adobe Portable Document Format]
7510.58%.tbz
79 7.67%.gz [Gzip compressed files]
23 7.65%  .tar.gz [Compressed archives]
9 0.83%.tgz
1104 0.63%.jpg [JPEG graphics]
4 0.49%.zip [Zip archives]
3709 0.45%[directories]
1925 0.29%.html [Hypertext Markup Language]
600 0.11%.sml
30 0.10%.csv
345 0.08%[not listed: 7 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
636636.19%17/Nov/14 20:55/~lp15/papers/Notes/SE-I.pdf
3849 8.07%17/Nov/14 20:22/~lp15/papers/Reports/equivclasses-slides.pdf
1166 0.19%17/Nov/14 21:42/~lp15/
529 0.02%17/Nov/14 21:20/~lp15/MLbook/
504 0.14%17/Nov/14 21:42/~lp15/images/larry-paulson.jpg
473 0.43%17/Nov/14 21:42/~lp15/images/acm-logo.jpg
463 5.14%17/Nov/14 19:30/~lp15/papers/Reports/thesis.pdf
331 0.09%17/Nov/14 19:10/~lp15/papers/refereed.html
300 1.13%17/Nov/14 16:12/~lp15/papers/Notes/LCF+.pdf
242 0.49%17/Nov/14 16:53/~lp15/papers/Reports/fleuriot-kepler.pdf
228 3.87%17/Nov/14 16:07/~lp15/Sue/Thesis.pdf
212 0.01%17/Nov/14 21:32/~lp15/MLbook/programs/
202 0.04%17/Nov/14 21:44/~lp15/papers/Arith/
170 0.60%17/Nov/14 21:13/~lp15/papers/Auth/jcs.pdf
164 0.38%17/Nov/14 21:05/~lp15/papers/Notes/Founds-FP.pdf
136 4.99%17/Nov/14 09:16/~lp15/papers/Isabelle/Goedel-slides.pdf
135 17/Nov/14 20:53/~lp15/MLbook/exercises/
133 0.27%16/Nov/14 21:41/~lp15/papers/Isabelle/aisc98.pdf
119 0.02%17/Nov/14 04:55/~lp15/Sue/
115 0.11%17/Nov/14 19:42/~lp15/papers/Reports/mutil.pdf
109 0.31%17/Nov/14 09:35/~lp15/papers/Reports/equivclasses.pdf
105 0.24%17/Nov/14 07:44/~lp15/papers/Reports/TPHOLs05.pdf
101 0.18%17/Nov/14 20:30/~lp15/papers/Workshop/papers/voelker.pdf
97 0.31%17/Nov/14 14:52/~lp15/papers/Sets/set-I.pdf
93 0.02%17/Nov/14 20:53/~lp15/MLbook/ERRATA.html
93 0.01%17/Nov/14 20:54/~lp15/MLbook/programs/sample2.sml
93 0.23%17/Nov/14 21:50/~lp15/papers/Sets/AC.pdf
92 0.02%17/Nov/14 20:53/~lp15/MLbook/programs/sample3.sml
91 16/Nov/14 15:04/~lp15/papers/Arith/download.html
87 17/Nov/14 20:53/~lp15/MLbook/pub-details.html
85 0.24%17/Nov/14 20:27/~lp15/papers/Auth/tls.pdf
81 0.28%13/Nov/14 02:26/~lp15/papers/Deduction/lecture1.pdf
81 0.29%13/Nov/14 23:30/~lp15/papers/Arith/Sogokon-nfm14.pdf
80 0.16%16/Nov/14 15:37/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
79 0.46%17/Nov/14 20:50/~lp15/papers/Arith/MetiTarski-jar.pdf
76 0.01%17/Nov/14 14:44/~lp15/papers/lecture-courses.html
76 0.02%17/Nov/14 18:44/~lp15/Grants/SET/
75 0.04%17/Nov/14 04:55/~lp15/Sue/Sue Paulson.jpg
73 0.02%17/Nov/14 12:43/~lp15/papers/Auth/
72 0.01%17/Nov/14 01:00/~lp15/papers/Sets/
71 17/Nov/14 13:32/~lp15/Pages/cv.html
71 0.01%17/Nov/14 11:37/~lp15/papers/
71 0.21%17/Nov/14 19:56/~lp15/papers/Sets/set-II.pdf
71 0.12%17/Nov/14 19:11/~lp15/papers/Automation/meng-termination.pdf
71 0.01%15/Nov/14 23:32/~lp15/MLbook/exercises/exer2.html
70 0.01%17/Nov/14 19:08/~lp15/papers/Automation/
67 0.09%17/Nov/14 13:57/~lp15/papers/Arith/Narayanan DATE.pdf
65 0.89%17/Nov/14 15:44/~lp15/papers/Arith/ITP 2012 presentation.pdf
64 0.08%17/Nov/14 15:31/~lp15/papers/Auth/yahalom.pdf
63 0.02%17/Nov/14 14:19/~lp15/MLbook/exercises/exer3.html
63 0.12%17/Nov/14 19:26/~lp15/papers/Arith/SNC2014-invited.pdf
62 0.01%17/Nov/14 20:53/~lp15/MLbook/programs/sample4.sml
61 0.01%16/Nov/14 18:32/~lp15/archive/
60 0.17%17/Nov/14 08:55/~lp15/papers/Kammueller/sylow.pdf
60 0.18%17/Nov/14 13:14/~lp15/papers/Sets/reflection.pdf
58 13/Nov/14 13:22/~lp15/papers/Notes/
57 17/Nov/14 20:53/~lp15/MLbook/general.html
57 0.08%17/Nov/14 16:37/~lp15/papers/Auth/SET-overview-2002.pdf
57 0.05%17/Nov/14 10:49/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
57 0.01%17/Nov/14 20:54/~lp15/MLbook/programs/sample5.sml
56 0.11%17/Nov/14 14:15/~lp15/papers/Bella/esorics98.pdf
56 0.09%17/Nov/14 12:03/~lp15/Pages/vita.pdf
55 0.14%17/Nov/14 21:07/~lp15/papers/Bella/registration.pdf
54 0.01%17/Nov/14 17:44/~lp15/Pages/ACS-proposals.html
53 0.01%17/Nov/14 18:52/~lp15/MLbook/review.html
52 0.03%17/Nov/14 13:32/~lp15/images/pilkington.jpg
52 0.09%17/Nov/14 08:00/~lp15/papers/Bella/purchase.pdf
52 0.01%16/Nov/14 21:18/~lp15/Grants/UNITY/
51 0.02%17/Nov/14 20:54/~lp15/MLbook/exercises/exer4.html
50 0.20%15/Nov/14 22:27/~lp15/papers/Sets/constructible-slides.pdf
50 17/Nov/14 20:53/~lp15/MLbook/first/
50 16/Nov/14 12:13/~lp15/Pages/projects.html
50 0.19%17/Nov/14 05:25/~lp15/Pages/Munich-slides.pdf
50 0.01%15/Nov/14 07:20/~lp15/papers/Reports/
48 0.12%17/Nov/14 19:34/~lp15/papers/Reports/blast.pdf
48 0.01%17/Nov/14 21:43/~lp15/papers/workshop.html
47 17/Nov/14 18:27/~lp15/Grants/
47 0.16%17/Nov/14 12:17/~lp15/papers/Bella/certified-email.pdf
47 0.20%17/Nov/14 14:28/~lp15/papers/Bella/smartcards-jcs.pdf
46 0.10%17/Nov/14 14:45/~lp15/papers/Bella/nonrepudiation.pdf
46 0.01%17/Nov/14 20:54/~lp15/MLbook/programs/sample9.sml
46 0.18%17/Nov/14 13:57/~lp15/papers/Bella/accountability.pdf
46 0.08%15/Nov/14 14:22/~lp15/papers/Automation/paar.pdf
45 0.13%17/Nov/14 20:37/~lp15/papers/Sets/milner-ind-defs.pdf
45 0.22%17/Nov/14 14:52/~lp15/papers/Reports/popl82.pdf
45 0.01%17/Nov/14 16:12/~lp15/MLbook/first/programs/Lists-Trees.ML
45 0.01%17/Nov/14 20:54/~lp15/MLbook/exercises/exer5.html
45 0.13%17/Nov/14 08:54/~lp15/papers/Arith/cicm2012.pdf
45 15/Nov/14 10:05/~lp15/Grants/LEO-II/
44 16/Nov/14 18:04/~lp15/MLbook/programs/ROOT.sml
44 0.22%17/Nov/14 21:19/~lp15/papers/Notes/formalizing-abst-slides.pdf
44 16/Nov/14 21:47/~lp15/papers/Arith/qepcad-for-mac.html
43 16/Nov/14 19:00/~lp15/papers/UNITY/
42 17/Nov/14 16:29/~lp15/papers/Workshop/
40 0.31%17/Nov/14 15:45/~lp15/papers/Bella/purchase-JAR.pdf
40 0.01%13/Nov/14 14:32/~lp15/Grants/AutoPolyFun/
39 16/Nov/14 08:41/~lp15/MLbook/first/programs/Functions.ML
39 17/Nov/14 20:55/~lp15/papers/hol.html
39 0.06%17/Nov/14 17:33/~lp15/papers/Auth/lics.pdf
39 0.10%17/Nov/14 13:16/~lp15/papers/Bella/esorics2000.pdf
38 17/Nov/14 19:22/~lp15/Pages/
38 17/Nov/14 19:08/~lp15/Grants/Automation/
37 0.06%17/Nov/14 18:07/~lp15/papers/Sets/constructible-abstract.pdf
37 0.02%17/Nov/14 21:21/~lp15/MLbook/first/ML-syntax.ps.gz
36 0.01%17/Nov/14 20:54/~lp15/MLbook/programs/sample7.sml
36 0.01%17/Nov/14 20:58/~lp15/papers/isabelle.html
36 0.08%17/Nov/14 10:08/~lp15/papers/Arith/lpar2007.pdf
35 0.17%17/Nov/14 12:43/~lp15/papers/UNITY/UNITY.pdf
34 0.01%17/Nov/14 20:54/~lp15/MLbook/programs/sample8.sml
34 0.08%17/Nov/14 17:55/~lp15/papers/Auth/multicast_verification.pdf
34 0.08%17/Nov/14 17:02/~lp15/papers/Automation/IJCAR2004.pdf
33 0.28%17/Nov/14 21:15/~lp15/papers/Reports/TypeClasses.pdf
33 17/Nov/14 00:09/~lp15/papers/Isabelle/
33 0.12%12/Nov/14 15:48/~lp15/papers/Isabelle/Goedel-ar.pdf
32 0.01%17/Nov/14 20:54/~lp15/MLbook/exercises/exer6.html
32 0.09%17/Nov/14 17:31/~lp15/papers/Workshop/papers/vigano.pdf
32 0.06%17/Nov/14 18:26/~lp15/papers/Arith/fmcad2009.pdf
31 0.04%17/Nov/14 21:45/~lp15/Usage/
31 0.13%17/Nov/14 21:13/~lp15/papers/Automation/reconstruction.pdf
31 0.10%17/Nov/14 08:56/~lp15/papers/Notes/MOD-slides.pdf
31 0.13%17/Nov/14 21:18/~lp15/papers/Workshop/papers/rasmussen.pdf
31 0.01%17/Nov/14 20:54/~lp15/MLbook/exercises/exer8.html
30 0.10%16/Nov/14 01:58/~lp15/papers/Arith/case-splitting-stats.csv
30 0.14%17/Nov/14 18:08/~lp15/papers/Arith/calculemus2008.pdf
30 17/Nov/14 10:15/~lp15/papers/books.html
29 0.10%17/Nov/14 18:48/~lp15/papers/Auth/SET-overview-IJIS.pdf
29 0.09%17/Nov/14 16:23/~lp15/papers/Automation/translations.pdf
29 0.19%17/Nov/14 19:42/~lp15/papers/Sets/constructible-theory.pdf
29 0.09%17/Nov/14 15:52/~lp15/papers/UNITY/Mechanizing-compositional.pdf
28 17/Nov/14 20:53/~lp15/MLbook/disclaimer.html
28 0.06%17/Nov/14 20:38/~lp15/papers/Bella/cav98.pdf
28 0.05%17/Nov/14 09:47/~lp15/papers/Bella/dimacs97.pdf
28 0.10%17/Nov/14 10:29/~lp15/papers/Deduction/lecture3.pdf
28 0.08%17/Nov/14 20:39/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
28 0.06%17/Nov/14 15:56/~lp15/papers/Arith/Hscc09.pdf
27 0.06%17/Nov/14 16:20/~lp15/papers/UNITY/ehmety-composition.pdf
27 16/Nov/14 09:32/~lp15/Pages/CL-English.html
27 0.10%17/Nov/14 20:55/~lp15/papers/Automation/filtering.pdf
27 0.06%17/Nov/14 05:25/~lp15/papers/Arith/case-splitting.pdf
27 0.01%17/Nov/14 15:43/~lp15/MLbook/programs/sample10.sml
27 0.13%17/Nov/14 12:12/~lp15/papers/Automation/filtering-jal.pdf
27 17/Nov/14 21:22/~lp15/images/
27 0.03%15/Nov/14 16:49/~lp15/Sue/Cultures of Dance.ppt
27 0.06%17/Nov/14 18:55/~lp15/papers/Workshop/papers/kalvala-linear.pdf
27 0.26%13/Nov/14 08:32/~lp15/papers/Arith/metit-slides.pdf
27 0.01%17/Nov/14 20:54/~lp15/MLbook/exercises/exer7.html
27 17/Nov/14 15:06/~lp15/papers/Arith/atan-problem-1-weak.html
27 0.10%17/Nov/14 21:03/~lp15/papers/Workshop/papers/kammueller.pdf
26 15/Nov/14 13:14/~lp15/papers/Bella/
26 0.04%17/Nov/14 21:51/~lp15/papers/Arith/pdpar2006.pdf
26 14/Nov/14 10:48/~lp15/papers/recur.html
25 10/Nov/14 17:42/~lp15/papers/Deduction/
25 0.04%13/Nov/14 06:27/~lp15/Grants/Automation/final.pdf
25 14/Nov/14 11:49/~lp15/papers/invited.html
25 10/Nov/14 21:27/~lp15/papers/Workshop/papers/
25 0.02%17/Nov/14 01:35/~lp15/papers/Auth/recur-slides.pdf
24  7/Nov/14 09:40/~lp15/papers/Kammueller/
24 17/Nov/14 16:22/~lp15/MLbook/programs/sample3-old.sml
23 15/Nov/14 11:23/~lp15/Data/ho-translations/
23 0.10%17/Nov/14 13:16/~lp15/papers/Automation/translations-jar.pdf
23 0.01%17/Nov/14 17:04/~lp15/papers/Reviews/construct.pdf
23 17/Nov/14 20:54/~lp15/MLbook/exercises/disclaimer.html
22 0.01%17/Nov/14 20:54/~lp15/MLbook/programs/test10.sml
22 16/Nov/14 11:27/~lp15/papers/Workshop/matthews.html
22 0.01%17/Nov/14 18:46/~lp15/Grants/SET/case.pdf
22 0.09%17/Nov/14 19:38/~lp15/papers/Reports/intro-to-isabelle.pdf
22 17/Nov/14 20:52/~lp15/papers/Arith/RELEASE-NOTES.txt
22 0.05%17/Nov/14 16:41/~lp15/papers/Automation/cade2011-sledge-smt.pdf
22 0.04%17/Nov/14 19:49/~lp15/papers/Arith/ITP-2012-invited.pdf
21 12/Nov/14 06:48/~lp15/tmp/
21 0.09%17/Nov/14 08:00/~lp15/papers/Reports/Bridge-ml.pdf
21 14/Nov/14 19:58/~lp15/MLbook/first/programs/
21 0.15%17/Nov/14 11:28/~lp15/Grants/Automation/poster.pdf
21 0.04%12/Nov/14 20:10/~lp15/papers/Automation/jar-smt.pdf
21  9/Nov/14 08:22/~lp15/MLbook/StandardML.plist
21 1.26%17/Nov/14 00:08/~lp15/papers/Arith/FroCos-presentation.pdf
21 0.04%17/Nov/14 07:16/~lp15/papers/Sets/final.pdf
20 13/Nov/14 17:54/~lp15/MLbook/programs/notes.html
20 0.03%17/Nov/14 16:55/~lp15/papers/Workshop/papers/ayari.pdf
20 15/Nov/14 09:27/~lp15/Grants/BeyondLinArith/
20 0.05%11/Nov/14 03:50/~lp15/papers/Isabelle/coding.pdf
20 0.04%16/Nov/14 21:59/~lp15/papers/Workshop/papers/owens.pdf
20 0.09%14/Nov/14 23:16/~lp15/papers/Deduction/lecture4.pdf
20  1/Nov/14 21:27/~lp15/Data/relevance/
19 15/Nov/14 05:53/~lp15/Grants/auth.html
19 17/Nov/14 16:33/~lp15/MLbook/first/programs/Lambda.ML
19 0.03%15/Nov/14 08:10/~lp15/papers/Notes/leeds-notes.pdf
19 10/Nov/14 03:00/~lp15/Templates/
19 16/Nov/14 15:19/~lp15/Grants/holisa.html
19 17/Nov/14 18:38/~lp15/MLbook/first/programs/Imperative.ML
19 10/Nov/14 18:59/~lp15/css/
19 0.14%14/Nov/14 04:30/~lp15/papers/Automation/info-and-comp.pdf
18  6/Nov/14 06:42/~lp15/papers/Reviews/
18 10/Nov/14 13:29/~lp15/SpryAssets/
18 17/Nov/14 20:54/~lp15/MLbook/programs/sample8-2004.sml
18 0.04%17/Nov/14 00:39/~lp15/papers/UNITY/tphols01.pdf
18 16/Nov/14 12:40/~lp15/papers/Workshop/paulson.html
18 0.03%17/Nov/14 04:40/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
18  3/Nov/14 07:12/~lp15/papers/Ballarin/
18 0.01%13/Nov/14 08:21/~lp15/Usage/images/
18 0.02%17/Nov/14 18:27/~lp15/papers/Reports/CADE9.pdf
18 0.03%17/Nov/14 09:37/~lp15/papers/Auth/ijcar2001.pdf
18 10/Nov/14 08:18/~lp15/papers/Workshop/programme.html
17 0.08%17/Nov/14 16:09/~lp15/papers/UNITY/composition.pdf
17 0.29%17/Nov/14 13:36/~lp15/papers/Auth/lics-slides.pdf
17  1/Nov/14 19:18/~lp15/papers/Workshop/agerholm.html
17 0.04%17/Nov/14 19:12/~lp15/papers/Ballarin/aisc98.pdf
17 17/Nov/14 19:09/~lp15/Grants/Chaieb.html
17 14/Nov/14 05:25/~lp15/papers/Workshop/participants.html
17 0.15%14/Nov/14 09:48/~lp15/papers/Bella/TPHOLs03-slides.pdf
16 15/Nov/14 04:16/~lp15/papers/Workshop/nipkow.html
16 0.08%17/Nov/14 14:38/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
16 0.01%15/Nov/14 19:07/~lp15/papers/paulson.bib
16 0.05%17/Nov/14 12:20/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
16 0.03%17/Nov/14 18:45/~lp15/papers/Workshop/papers/thompson.pdf
16 0.03%17/Nov/14 19:23/~lp15/papers/Notes/strategy.pdf
16 0.04% 7/Nov/14 17:08/~lp15/papers/Isabelle/sylow.pdf
16 16/Nov/14 05:21/~lp15/MLbook/first/ERRATA1.txt
16 0.01%11/Nov/14 14:18/~lp15/papers/Sets/AC-slides.pdf
15 16/Nov/14 23:06/~lp15/papers/Workshop/staples.html
15 17/Nov/14 20:54/~lp15/MLbook/programs/sample8-old.sml
15 0.03%17/Nov/14 16:29/~lp15/papers/Workshop/papers/benini.pdf
15 0.01%16/Nov/14 04:12/~lp15/papers/Reviews/MLer.pdf
15 0.01%17/Nov/14 14:33/~lp15/papers/Arith/Overcoming.pdf
15 0.01%17/Nov/14 20:54/~lp15/MLbook/programs/sample10-old.sml
15 0.07%17/Nov/14 12:37/~lp15/papers/Workshop/papers/bednarczyk.pdf
15 0.02%17/Nov/14 20:10/~lp15/papers/Reports/CADE11.pdf
15 17/Nov/14 20:54/~lp15/MLbook/programs/sample9-2004.sml
15 0.03%15/Nov/14 07:41/~lp15/Grants/AutoPolyFun/case.pdf
14 15/Nov/14 10:40/~lp15/Grants/arith.html
14 0.02%17/Nov/14 05:34/~lp15/papers/Arith/FroCoS-2013-invited.pdf
14 0.01%13/Nov/14 13:24/~lp15/papers/Notes/strategy-slides.pdf
14 0.02%17/Nov/14 02:34/~lp15/Grants/Chaieb-case.pdf
14  5/Nov/14 03:05/~lp15/papers/Workshop/thompson.html
14 15/Nov/14 16:42/~lp15/MLbook/first/programs/Modules.ML
14 0.04%17/Nov/14 14:09/~lp15/papers/Kammueller/Locales-TPHOLs99.pdf
14  2/Nov/14 07:11/~lp15/Data/
14 0.13%14/Nov/14 10:06/~lp15/Grants/arith-case.pdf
13 0.01%17/Nov/14 11:41/~lp15/Grants/LEO-II/leo2-case.pdf
13 0.03%14/Nov/14 21:19/~lp15/papers/Arith/Huang-3heuristics.pdf
13 0.05%17/Nov/14 14:08/~lp15/papers/Deduction/lecture2.pdf
13 0.01%13/Nov/14 23:24/~lp15/papers/Arith/NFM2014-invited.pdf
13 15/Nov/14 10:41/~lp15/Grants/temporal.html
13 0.42%17/Nov/14 18:35/~lp15/papers/Arith/SNC2014-slides.pdf
12  6/Nov/14 16:23/~lp15/papers/Workshop/kalvala.html
12 0.02%17/Nov/14 19:57/~lp15/papers/Automation/leo2-ijcar.pdf
12 0.02%16/Nov/14 11:50/~lp15/papers/Isabelle/Goedel-logic.pdf
12 13/Nov/14 18:04/~lp15/papers/Workshop/owens.txt
12 10/Nov/14 00:21/~lp15/papers/Sets/ind-defs-slides.pdf
12 0.11%15/Nov/14 03:39/~lp15/papers/Automation/reconstruction-slides.pdf
12 0.01%13/Nov/14 09:09/~lp15/Grants/UNITY/case.pdf
12 0.04%17/Nov/14 00:49/~lp15/papers/Sets/reflection-slides.pdf
12 0.01%16/Nov/14 23:34/~lp15/papers/Workshop/kammueller.pdf
12 0.01%17/Nov/14 15:43/~lp15/MLbook/first/programs/Hal.ML
12 0.02%17/Nov/14 11:43/~lp15/papers/Automation/thf-sledge.pdf
11 0.01%17/Nov/14 05:35/~lp15/papers/Workshop/front.pdf
11 0.05% 9/Nov/14 07:49/~lp15/papers/Auth/tls-slides.pdf
11 0.03%13/Nov/14 22:21/~lp15/papers/Workshop/papers/nipkow.pdf
11 0.06%17/Nov/14 21:23/~lp15/papers/Automation/Huet colloquium.pdf
11 0.14%17/Nov/14 07:12/~lp15/papers/Isabelle/Cube-presentation.pdf
11 0.01%15/Nov/14 22:02/~lp15/Grants/Automation/case.pdf
11 0.02%16/Nov/14 23:55/~lp15/papers/Workshop/papers/matthews.pdf
11 0.07%17/Nov/14 10:08/~lp15/papers/Auth/SET-overview-slides.pdf
11 0.05%13/Nov/14 05:49/~lp15/papers/Reports/logics97.pdf
11 31/Oct/14 10:49/~lp15/Data/relevance/unfiltered-spass.txt
11 0.01%17/Nov/14 07:26/~lp15/papers/Auth/security-protocols.pdf
11 16/Nov/14 21:33/~lp15/papers/Workshop/futures.html
11 0.13%14/Nov/14 19:51/~lp15/papers/Auth/ijcar2001-slides.pdf
11 0.03% 6/Nov/14 23:13/~lp15/papers/Workshop/papers/agerholm.pdf
11 0.33%12/Nov/14 01:50/~lp15/Sue/Thesis-Appendices.pdf
10 0.04%17/Nov/14 15:45/~lp15/papers/Auth/SET-document.pdf
10 0.74% 8/Nov/14 17:05/~lp15/Data/ho-translations/Abst.tbz
10 0.01%17/Nov/14 12:35/~lp15/papers/Workshop/vigano.pdf
10 0.39%17/Nov/14 17:47/~lp15/papers/Arith/Overcoming-slides.pdf
10  5/Nov/14 07:23/~lp15/Data/ho-translations/Theories.tbz
10 0.05% 7/Nov/14 23:21/~lp15/Data/relevance/tptp-2007-03-13.tbz
10 0.03%17/Nov/14 08:16/~lp15/papers/Ballarin/coding.pdf
9 16/Nov/14 12:23/~lp15/MLbook/first/programs/ParsePrint.ML
9 16/Nov/14 10:58/~lp15/MLbook/first/ERRATA3.txt
9 0.71% 5/Nov/14 01:44/~lp15/Data/ho-translations/Comb.tbz
9 15/Nov/14 10:37/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
9 0.01%17/Nov/14 13:43/~lp15/papers/Auth/auth-slides.pdf
9 0.29%17/Nov/14 13:23/~lp15/Sue/Phd-Poster.pdf
9 13/Nov/14 21:16/~lp15/Grants/SET/final.pdf
9 0.01%17/Nov/14 16:30/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
9 0.83%13/Nov/14 06:53/~lp15/papers/Arith/metit.tgz
9 2.17%31/Oct/14 15:10/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
9 3.42%31/Oct/14 19:30/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
9 3.49% 2/Nov/14 07:11/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
9 0.08%17/Nov/14 10:44/~lp15/papers/Auth/dagstuhl2003-slides.pdf
9 17/Nov/14 09:25/~lp15/Grants/temporal-final.pdf
9 31/Oct/14 05:40/~lp15/Sue/Cultures of Dance.html
9 15/Nov/14 19:00/~lp15/MLbook/first/ERRATA2.txt
8 0.02%17/Nov/14 10:31/~lp15/papers/Workshop/papers/staples.pdf
8  1/Nov/14 02:03/~lp15/papers/Workshop/bednarczyk.txt
8 0.10%14/Nov/14 02:15/~lp15/papers/Reports/TypeClasses-slides.pdf
8  1/Nov/14 02:44/~lp15/Data/relevance/unfiltered-vampire.txt
8 0.03%16/Nov/14 09:12/~lp15/papers/Reports/lamport-paulson-types.pdf
8 31/Oct/14 21:40/~lp15/Data/relevance/unfiltered-E.txt
179 8.67%17/Nov/14 19:22[not listed: 55 files]