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

Program started at Tue-19-May-2015 11:48.
Analysed requests from Wed-05-Nov-2014 15:02 to Tue-19-May-2015 11:39 (194.86 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 19-May-2015 11:48.

Successful requests: 18,989 (3,968)
Average successful requests per day: 97 (566)
Successful requests for pages: 5,014 (1,146)
Average successful requests for pages per day: 25 (163)
Failed requests: 996 (186)
Redirected requests: 110 (20)
Distinct files requested: 461 (324)
Distinct hosts served: 4,228 (1,100)
Unwanted logfile entries: 13,857
Data transferred: 5.89 gigabytes (1.02 gigabytes)
Average data transferred per day: 30.98 megabytes (149.24 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 
Sun2724736+++++++++++++++++++++++++++++++++++++
Mon2958784++++++++++++++++++++++++++++++++++++++++
Tue2602741++++++++++++++++++++++++++++++++++++++
Wed2536725+++++++++++++++++++++++++++++++++++++
Thu2806768+++++++++++++++++++++++++++++++++++++++
Fri2509559++++++++++++++++++++++++++++
Sat2854701++++++++++++++++++++++++++++++++++++

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
579527.95%.com (Commercial)
468120.17%[unresolved numerical addresses]
480 9.53%.org (Non Profit Making Organisations)
746 7.61%.cn (China)
1654 7.13%.net (Networks)
642 5.42%[domain not given]
783 4.73%.jp (Japan)
961 2.87%.de (Germany)
157 2.57%[unknown domain]
58 1.64%.fr (France)
716 1.55%.uk (United Kingdom)
277 1.51%.in (India)
130 0.94%.ru (Russia)
128 0.81%.pk (Pakistan)
263 0.61%.edu (USA Higher Education)
56 0.53%.id (Indonesia)
132 0.37%.au (Australia)
196 0.36%.se (Sweden)
53 0.33%.pl (Poland)
87 0.33%.it (Italy)
59 0.27%.nl (Netherlands)
52 0.21%.ke (Kenya)
52 0.18%.ca (Canada)
31 0.15%.es (Spain)
40 0.13%.za (South Africa)
9 0.12%.dk (Denmark)
55 0.12%.mx (Mexico)
37 0.11%.cz (Czech Republic)
19 0.11%.ir (Iran)
55 0.11%.br (Brazil)
12 0.10%.tw (Taiwan)
17 0.10%.hu (Hungary)
35 0.10%.at (Austria)
35 0.09%.ar (Argentina)
44 0.09%.zw (Zimbabwe)
10 0.08%.ie (Ireland)
14 0.07%.co (Colombia)
50 0.07%.sg (Singapore)
36 0.06%.il (Israel)
7 0.06%.nz (New Zealand)
9 0.06%.vn (Vietnam)
64 0.05%.gr (Greece)
16 0.05%.ch (Switzerland)
11 0.05%.th (Thailand)
3 0.04%.bg (Bulgaria)
4 0.03%.arpa (Arpanet)
15 0.03%.tr (Turkey)
25 0.03%.ly (Libya)
2 0.03%.kh (Cambodia)
7 0.03%.na (Namibia)
14 0.03%.ug (Uganda)
9 0.02%.no (Norway)
18 0.02%.ro (Romania)
14 0.02%.be (Belgium)
3 0.02%.uz (Uzbekistan)
3 0.02%.cl (Chile)
2 0.02%.ua (Ukraine)
1 0.01%.bd (Bangladesh)
11 0.01%.sk (Slovakia)
3 0.01%.st (Saint Tome and Principe)
6 0.01%.mil (USA Military)
15 0.01%.fi (Finland)
8 0.01%.ws (Samoa)
9 0.01%.lt (Lithuania)
3 0.01%.ee (Estonia)
6 0.01%.us (United States)
3 0.01%.mn (Mongolia)
5 0.01%.pt (Portugal)
2 .lu (Luxembourg)
4 .hr (Croatia)
6 .hk (Hong Kong)
1 .uy (Uruguay)
4 .my (Malaysia)
6 .by (Belarus)
3 .ae (United Arab Emirates)
1 .am (Armenia)
1 .sa (Saudi Arabia)
2 .kr (South Korea)
1 .ps (Occupied Palestinian Territory)
2 .is (Iceland)
1 .cr (Costa Rica)
1 .kz (Kazakhstan)
1 .info (Informational)

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
165410.90%msn.com
902 4.05%amazonaws.com
790 2.61%yandex.com
697 3.41%cnsat.com.cn
668 5.83%twttr.com
642 5.42%[domain not given]
496 1.06%cam.ac.uk
434 9.46%archive.org
402 1.59%your-server.de
286 2.92%199.16
230 0.84%117
194 0.66%41
187 0.30%baidu.com
184 0.48%comcast.net
182 0.71%5
182 page2rss.com
161 1.12%virginm.net
157 2.57%[unknown domain]
139 0.30%rr.com
135 0.07%plus.com
1026745.68%[not listed: 1,198 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
155engineering
155software
135pdf
115notes
67in
58of
26equivalence
24computer
22on
22hindi
20compilers
20for
20semantic
18a
18and
17class
15relation
14grammar
13set
13science
12se
12i.pdf
12subject
11http://www.cl.cam.ac.uk/~lp15/papers/notes/se
10pascal
10download
10simple
10rules
10what
10major
457[not listed: 211 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
154161864OS unknown
284271468Windows
 76531275  Unknown Windows
 738173  Windows XP
 138  Windows 2000
 85  Windows 98
 124  Windows NT
 33  Windows Server 2003
32667787Macintosh
41828503Unix
 1810492  Linux
 107  Other Unix
 84  BSD
5595380Known robots
650Symbian 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
13301200 OK
4986206 Partial content
110301 Document moved permanently
702304 Not modified since last retrieval
383403 Access forbidden
607404 Document not found
5405 Method not allowed
1416 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
0980 
1B- 10B9 
11B- 100B1 
101B- 1kB164 
1kB- 10kB2887 0.20%
10kB-100kB7782 5.11%
100kB- 1MB659346.06%
1MB- 10MB52122.52%
10MB-100MB5226.11%

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
1189968.05%.pdf [Adobe Portable Document Format]
19221.82%.gz [Gzip compressed files]
9721.73%  .tar.gz [Compressed archives]
58 7.72%.tbz
1100 0.97%.jpg [JPEG graphics]
3342 0.41%[directories]
3 0.34%.zip [Zip archives]
3 0.26%.tgz
1672 0.25%.html [Hypertext Markup Language]
720 0.18%[not listed: 9 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
240016.87%19/May/15 10:27/~lp15/papers/Formath/Goedel-ar.pdf
195412.60%19/May/15 10:36/~lp15/papers/Notes/SE-I.pdf
1648 4.08%19/May/15 10:26/~lp15/papers/Reports/equivclasses-slides.pdf
944 0.14%19/May/15 11:38/~lp15/
538 0.02%19/May/15 09:27/~lp15/MLbook/
525 7.72%19/May/15 11:30/~lp15/papers/Reports/thesis.pdf
462 0.51%19/May/15 11:38/~lp15/images/larry-home-small.jpg
446 0.36%19/May/15 11:38/~lp15/images/acm-logo.jpg
344 0.11%19/May/15 09:43/~lp15/papers/refereed.html
343 0.71%19/May/15 11:14/~lp15/papers/Notes/Founds-FP.pdf
283 4.26%19/May/15 10:29/~lp15/Sue/Thesis.pdf
204 0.03%19/May/15 09:07/~lp15/papers/Arith/
203 0.01%19/May/15 09:27/~lp15/MLbook/programs/
148 0.38%18/May/15 17:36/~lp15/papers/Reports/popl82.pdf
140 0.02%19/May/15 10:47/~lp15/Pages/Scream.html
138 0.41%19/May/15 07:19/~lp15/papers/Reports/equivclasses.pdf
132 0.02%19/May/15 10:02/~lp15/Sue/
129 0.28%19/May/15 10:58/~lp15/papers/Reports/fleuriot-kepler.pdf
124 0.52%18/May/15 13:16/~lp15/papers/Auth/jcs.pdf
110 0.20%16/May/15 15:50/~lp15/papers/Isabelle/aisc98.pdf
105 0.02%19/May/15 10:26/~lp15/papers/Auth/
105 0.02%19/May/15 09:01/~lp15/papers/Formath/
104 0.01%19/May/15 05:31/~lp15/papers/Automation/
96 0.33%18/May/15 15:57/~lp15/papers/Formath/set-I.pdf
94 19/May/15 02:56/~lp15/MLbook/exercises/
93 0.20%18/May/15 21:33/~lp15/papers/Auth/tls.pdf
90 0.08%18/May/15 00:54/~lp15/papers/Reports/mutil.pdf
89 0.19%19/May/15 06:32/~lp15/papers/Formath/AC.pdf
88 0.31%17/May/15 12:10/~lp15/Pages/Munich-slides.pdf
86 0.69%18/May/15 19:04/~lp15/papers/Isabelle/Goedel-ar.pdf
79 18/May/15 15:57/~lp15/MLbook/pub-details.html
77 19/May/15 11:39/~lp15/Pages/cv.html
76 0.09%17/May/15 20:08/~lp15/papers/Auth/SET-overview-2002.pdf
76 0.01%18/May/15 21:59/~lp15/Grants/AutoPolyFun/
75 0.08%19/May/15 08:52/~lp15/papers/Auth/yahalom.pdf
74 19/May/15 09:27/~lp15/MLbook/programs/sample2.sml
69 0.11%18/May/15 21:56/~lp15/papers/Formath/Goedel-logic.pdf
69 0.46%19/May/15 04:55/~lp15/papers/Arith/MetiTarski-jar.pdf
69 0.01%19/May/15 11:38/~lp15/papers/lecture-courses.html
65 2.25%19/May/15 10:15/~lp15/papers/Formath/Goedel-slides.pdf
64 0.01%18/May/15 14:00/~lp15/images/larry-paulson.jpg
64 0.03%19/May/15 10:02/~lp15/Sue/Sue Paulson.jpg
63 0.10%18/May/15 15:55/~lp15/Pages/vita.pdf
62 0.01%19/May/15 01:14/~lp15/Grants/SET/
59 0.01%19/May/15 02:20/~lp15/archive/
58 16/May/15 21:57/~lp15/Grants/
58 0.01%18/May/15 21:59/~lp15/Grants/LEO-II/
58 0.25%19/May/15 08:30/~lp15/papers/Bella/smartcards-jcs.pdf
57 17/May/15 20:01/~lp15/MLbook/general.html
57 0.03%19/May/15 11:39/~lp15/images/pilkington.jpg
55 0.20%18/May/15 18:46/~lp15/papers/Automation/filtering.pdf
54 0.10%18/May/15 09:26/~lp15/papers/Automation/meng-termination.pdf
54 19/May/15 08:41/~lp15/papers/Workshop/
53 0.01%18/May/15 11:34/~lp15/MLbook/programs/sample3.sml
52 18/May/15 15:33/~lp15/papers/
51 0.75%18/May/15 18:07/~lp15/papers/Auth/lics-slides.pdf
50 0.01%18/May/15 16:13/~lp15/MLbook/programs/sample4.sml
48 0.10%15/May/15 11:50/~lp15/papers/Bella/esorics98.pdf
48 0.05%19/May/15 11:23/~lp15/Usage/
48 0.01%18/May/15 20:22/~lp15/papers/Reports/
47 0.10%18/May/15 18:07/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
46 0.02%18/May/15 18:37/~lp15/papers/Reviews/MLer.pdf
46 0.01%18/May/15 14:36/~lp15/MLbook/review.html
46 0.14%18/May/15 19:52/~lp15/papers/Bella/accountability.pdf
46 18/May/15 14:54/~lp15/MLbook/programs/sample5.sml
45 17/May/15 04:00/~lp15/Pages/CL-English.html
45 0.11%17/May/15 20:04/~lp15/papers/Reports/TPHOLs05.pdf
45 0.01%18/May/15 11:35/~lp15/MLbook/exercises/exer2.html
44 0.16%18/May/15 22:11/~lp15/papers/Auth/SET-overview-IJIS.pdf
44 0.04%17/May/15 20:53/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
44 0.01%18/May/15 15:58/~lp15/papers/invited.html
43 0.09%16/May/15 11:10/~lp15/papers/Workshop/papers/voelker.pdf
43 18/May/15 17:24/~lp15/papers/workshop.html
42 0.09%19/May/15 10:12/~lp15/papers/Reports/blast.pdf
41 6.78%10/May/15 05:22/~lp15/archive/Isabelle2013.tar.gz
41 19/May/15 10:29/~lp15/Pages/projects.html
41 18/May/15 12:00/~lp15/papers/hol.html
41 0.04%19/May/15 06:39/~lp15/papers/Reports/CADE9.pdf
40 0.07%17/May/15 22:41/~lp15/papers/Isabelle/chap700.pdf
40 0.01%19/May/15 10:20/~lp15/MLbook/ERRATA.html
40 0.01%16/May/15 00:58/~lp15/papers/Isabelle/
40 0.06%18/May/15 07:25/~lp15/papers/Auth/lics.pdf
40 0.01%18/May/15 11:36/~lp15/MLbook/exercises/exer8.html
39 0.55%19/May/15 03:17/~lp15/papers/Reports/TypeClasses.pdf
39 0.08%18/May/15 15:26/~lp15/papers/Bella/registration.pdf
39 0.01%19/May/15 01:44/~lp15/Grants/UNITY/
38 19/May/15 07:55/~lp15/papers/Arith/download.html
38 0.04%18/May/15 15:20/~lp15/Grants/LEO-II/leo2-case.pdf
38 18/May/15 11:57/~lp15/papers/Arith/qepcad-for-mac.html
38 0.10%19/May/15 09:14/~lp15/papers/Bella/esorics2000.pdf
38 0.09%18/May/15 20:46/~lp15/papers/Arith/Hscc09.pdf
37 0.01%19/May/15 02:49/~lp15/MLbook/programs/sample10.sml
37 0.12%19/May/15 01:02/~lp15/papers/UNITY/Mechanizing-compositional.pdf
37 0.06%19/May/15 08:26/~lp15/papers/Arith/Narayanan DATE.pdf
36 0.01%19/May/15 10:36/~lp15/MLbook/first/programs/Lists-Trees.ML
34 0.24%18/May/15 15:17/~lp15/papers/Reports/intro-to-isabelle.pdf
34 19/May/15 07:46/~lp15/Grants/Automation/
33 0.06%18/May/15 15:11/~lp15/papers/Workshop/papers/ayari.pdf
33 0.02%19/May/15 04:50/~lp15/papers/Reviews/construct.pdf
33 0.16%17/May/15 20:18/~lp15/papers/Workshop/papers/bednarczyk.pdf
33 16/May/15 00:59/~lp15/papers/books.html
33 0.05%19/May/15 04:25/~lp15/papers/Bella/purchase.pdf
32 19/May/15 03:38/~lp15/MLbook/first/
32 0.07%18/May/15 22:09/~lp15/papers/Automation/paar.pdf
31 0.01%18/May/15 11:35/~lp15/MLbook/exercises/exer3.html
30 0.01%19/May/15 08:28/~lp15/MLbook/first/ML-syntax.ps.gz
30 17/May/15 15:15/~lp15/Grants/BeyondLinArith/
30 18/May/15 09:15/~lp15/MLbook/disclaimer.html
30 0.05%19/May/15 03:11/~lp15/papers/Notes/leeds-notes.pdf
30 0.08%18/May/15 20:02/~lp15/papers/Formath/automata.pdf
30 0.08%18/May/15 11:49/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
29 0.03%18/May/15 04:33/~lp15/Sue/Cultures of Dance.ppt
29 18/May/15 17:29/~lp15/papers/Arith/atan-problem-1-weak.html
28 17/May/15 05:39/~lp15/papers/Notes/
28 0.25%18/May/15 21:54/~lp15/papers/Bella/purchase-JAR.pdf
28 0.08%19/May/15 03:10/~lp15/papers/Bella/certified-email.pdf
27 17/May/15 01:52/~lp15/papers/UNITY/
27 0.08%19/May/15 03:51/~lp15/papers/Automation/translations.pdf
27 0.17%18/May/15 18:30/~lp15/papers/Arith/calculemus2008.pdf
27 0.04%19/May/15 03:08/~lp15/papers/Reports/CADE11.pdf
26 0.07%17/May/15 15:08/~lp15/papers/Auth/multicast_verification.pdf
26 0.01%18/May/15 11:35/~lp15/MLbook/programs/sample9.sml
26 0.04%18/May/15 20:17/~lp15/papers/Bella/cav98.pdf
26 0.07%17/May/15 23:43/~lp15/papers/Arith/lpar2007.pdf
26 18/May/15 11:33/~lp15/MLbook/programs/ROOT.sml
26 19/May/15 04:06/~lp15/papers/recur.html
25 0.04%15/May/15 22:04/~lp15/papers/Formath/final.pdf
25 0.05%19/May/15 03:26/~lp15/papers/Workshop/papers/benini.pdf
25 0.08%17/May/15 19:18/~lp15/papers/Workshop/papers/nipkow.pdf
25 0.06%18/May/15 20:24/~lp15/papers/Automation/jar-smt.pdf
25 0.13%17/May/15 16:47/~lp15/papers/Auth/SET-overview-slides.pdf
25 0.22%18/May/15 15:53/~lp15/papers/Bella/TPHOLs03-slides.pdf
24 0.01%18/May/15 11:34/~lp15/MLbook/programs/sample7.sml
24 0.08%17/May/15 19:47/~lp15/papers/Arith/Huang-3heuristics.pdf
24 0.10%16/May/15 01:59/~lp15/papers/Formath/reflection-slides.pdf
24 0.09%17/May/15 11:31/~lp15/papers/Workshop/papers/vigano.pdf
24 0.07%18/May/15 14:13/~lp15/papers/Formath/reflection.pdf
23 0.10%19/May/15 03:37/~lp15/papers/Automation/translations-jar.pdf
23 19/May/15 09:43/~lp15/MLbook/programs/sample8.sml
23 0.03%19/May/15 04:57/~lp15/papers/Auth/auth-slides.pdf
23 0.01%18/May/15 17:35/~lp15/MLbook/exercises/exer5.html
23 0.05%18/May/15 15:40/~lp15/papers/Workshop/papers/owens.pdf
23 0.05%19/May/15 10:59/~lp15/papers/Arith/fmcad2009.pdf
22 0.05%17/May/15 03:04/~lp15/papers/Bella/nonrepudiation.pdf
22 0.10%17/May/15 22:25/~lp15/papers/Workshop/papers/paulson.pdf
22 0.12%19/May/15 02:35/~lp15/papers/Automation/filtering-jal.pdf
22 0.12%18/May/15 20:52/~lp15/papers/Automation/reconstruction.pdf
22 0.07%19/May/15 00:09/~lp15/papers/Formath/Goedel-logic-mine.pdf
22 0.16%19/May/15 05:48/~lp15/papers/Arith/Sogokon-nfm14.pdf
21 0.18%19/May/15 07:59/~lp15/Grants/BeyondLinArith/arith-case.pdf
21 19/May/15 02:01/~lp15/Grants/holisa.html
21 0.04%19/May/15 01:17/~lp15/papers/Arith/ITP-2012-invited.pdf
20 0.04%19/May/15 05:56/~lp15/papers/Workshop/papers/staples.pdf
20 0.05%18/May/15 17:29/~lp15/papers/Arith/case-splitting.pdf
20 0.04%18/May/15 06:59/~lp15/papers/Automation/leo2-ijcar.pdf
20 0.01%18/May/15 11:35/~lp15/MLbook/exercises/exer6.html
20 0.08%14/May/15 16:57/~lp15/papers/Formath/set-II.pdf
19 0.04%18/May/15 20:56/~lp15/papers/UNITY/ehmety-composition.pdf
19 0.03%18/May/15 07:37/~lp15/papers/Arith/pdpar2006.pdf
19 0.06%19/May/15 08:02/~lp15/papers/Isabelle/coding.pdf
19 0.17%18/May/15 17:29/~lp15/papers/Automation/info-and-comp.pdf
18 0.01%16/May/15 21:30/~lp15/MLbook/programs/test10.sml
18 0.03%17/May/15 06:58/~lp15/papers/UNITY/tphols01.pdf
18 0.04%17/May/15 06:29/~lp15/papers/Automation/IJCAR2004.pdf
18 0.31%17/May/15 11:05/~lp15/papers/Arith/metit-slides.pdf
18 18/May/15 21:21/~lp15/MLbook/first/programs/Modules.ML
18 0.01%18/May/15 03:06/~lp15/Grants/UNITY/case.pdf
17 15/May/15 13:32/~lp15/MLbook/programs/notes.html
17 18/May/15 17:40/~lp15/MLbook/exercises/exer4.html
17 0.01%19/May/15 03:40/~lp15/papers/paulson.bib
17 16/May/15 16:19/~lp15/MLbook/first/programs/
17 0.03%17/May/15 22:37/~lp15/papers/Bella/dimacs97.pdf
17 13/May/15 18:14/~lp15/Pages/ACS-proposals.html
17 18/May/15 10:45/~lp15/Data/relevance/
16 13/May/15 09:54/~lp15/papers/Bella/
16 0.02%18/May/15 14:55/~lp15/papers/Arith/Overcoming.pdf
16 0.03%18/May/15 00:02/~lp15/papers/Notes/strategy.pdf
16 0.03%18/May/15 07:19/~lp15/papers/Workshop/papers/kalvala-linear.pdf
16 0.08%18/May/15 23:40/~lp15/papers/Workshop/papers/rasmussen.pdf
16 0.04%12/May/15 02:28/~lp15/Grants/AutoPolyFun/case.pdf
16 16/May/15 11:46/~lp15/MLbook/first/ERRATA1.txt
16 0.04%18/May/15 14:56/~lp15/papers/Automation/thf-sledge.pdf
16 0.07%11/May/15 08:07/~lp15/papers/Workshop/papers/kammueller.pdf
15 19/May/15 04:25/~lp15/Data/ho-translations/
15  4/May/15 22:16/~lp15/Pages/
15 18/May/15 13:03/~lp15/MLbook/programs/sample8-old.sml
15 19/May/15 04:33/~lp15/MLbook/programs/sample8-2004.sml
15 13/May/15 18:11/~lp15/MLbook/first/programs/Lambda.ML
15 0.01%18/May/15 19:54/~lp15/papers/Ballarin/aisc98.pdf
15 0.19%17/May/15 16:57/~lp15/papers/Auth/dagstuhl2003-slides.pdf
15 0.08%18/May/15 15:29/~lp15/papers/Formath/constructible-slides.pdf
15 0.04%18/May/15 05:30/~lp15/papers/Automation/cade2011-sledge-smt.pdf
15 17/May/15 20:25/~lp15/MLbook/programs/sample3-old.sml
15 0.02%18/May/15 19:53/~lp15/papers/Ballarin/coding.pdf
14 15/May/15 16:03/~lp15/papers/Reviews/
14 0.11%18/May/15 19:07/~lp15/papers/Reports/Bridge-ml.pdf
14 19/May/15 01:35/~lp15/Grants/auth.html
14 0.02%18/May/15 23:10/~lp15/papers/Workshop/vigano.pdf
14 0.01%17/May/15 18:18/~lp15/papers/Arith/NFM2014-invited.pdf
14 17/May/15 14:18/~lp15/MLbook/first/programs/Functions.ML
14 19/May/15 07:23/~lp15/Grants/temporal.html
14 0.02%18/May/15 22:45/~lp15/papers/Auth/security-protocols.pdf
14 0.03%18/May/15 09:01/~lp15/papers/Auth/ijcar2001.pdf
14 18/May/15 11:35/~lp15/MLbook/exercises/disclaimer.html
14 0.06%18/May/15 22:05/~lp15/papers/Arith/cicm2012.pdf
13 0.04%19/May/15 06:58/~lp15/papers/Arith/case-splitting-stats.csv
13 17/May/15 03:40/~lp15/papers/Formath/ind-defs-slides.pdf
13 0.01%17/May/15 11:36/~lp15/papers/Formath/AC-slides.pdf
13 0.11%19/May/15 00:17/~lp15/papers/Deduction/lecture1.pdf
13 18/May/15 20:51/~lp15/MLbook/programs/sample10-old.sml
13 16/May/15 11:21/~lp15/papers/Ballarin/
13 18/May/15 11:36/~lp15/MLbook/exercises/exer7.html
13 0.04%19/May/15 00:47/~lp15/papers/Arith/SNC2014-invited.pdf
13 0.02%17/May/15 20:40/~lp15/papers/Workshop/friedrich.pdf
13 0.02%15/May/15 22:53/~lp15/papers/Auth/recur-slides.pdf
13 19/May/15 04:27/~lp15/MLbook/first/ERRATA2.txt
12 16/May/15 21:04/~lp15/papers/Deduction/
12 0.06%16/May/15 14:16/~lp15/papers/Auth/SET-document.pdf
12 10/May/15 21:56/~lp15/images/
12 0.16%18/May/15 17:54/~lp15/papers/Reports/TypeClasses-slides.pdf
12 0.02%17/May/15 04:45/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
12 0.65%16/May/15 18:32/~lp15/papers/Notes/LCF+.pdf
12 15/May/15 00:20/~lp15/papers/Workshop/participants.html
12 17/May/15 17:53/~lp15/MLbook/first/programs/Imperative.ML
12 0.41%16/May/15 17:41/~lp15/Sue/Thesis-Appendices.pdf
12 17/May/15 03:30/~lp15/papers/Workshop/programme.html
11 0.01%17/May/15 04:14/~lp15/papers/Workshop/front.pdf
11 0.13%17/May/15 07:02/~lp15/papers/Formath/constructible-theory.pdf
11 0.21%18/May/15 09:16/~lp15/papers/Auth/dagstuhl2001-slides.pdf
11 0.07%19/May/15 04:36/~lp15/papers/Auth/tls-slides.pdf
11 0.10%17/May/15 23:12/~lp15/papers/Notes/formalizing-abst-slides.pdf
11 0.17%17/May/15 18:46/~lp15/papers/Automation/reconstruction-slides.pdf
11 0.05%18/May/15 14:08/~lp15/papers/UNITY/UNITY.pdf
11 18/May/15 19:04/~lp15/papers/Arith/RELEASE-NOTES.txt
11 0.01%16/May/15 09:27/~lp15/papers/Workshop/kammueller.pdf
11 0.03%16/May/15 08:16/~lp15/papers/Formath/milner-ind-defs.pdf
11 16/May/15 09:49/~lp15/Grants/Chaieb.html
11 19/May/15 02:03/~lp15/papers/Workshop/futures.html
11 0.03%19/May/15 07:38/~lp15/papers/Workshop/papers/agerholm.pdf
10 0.01%18/May/15 17:36/~lp15/Grants/Automation/final.pdf
10 0.05%10/May/15 23:46/~lp15/papers/UNITY/composition.pdf
10 0.04%18/May/15 05:46/~lp15/papers/Notes/MOD-slides.pdf
10 12/May/15 07:29/~lp15/MLbook/programs/sample9-2004.sml
10 12/May/15 07:47/~lp15/papers/OLD.SETS/
10 0.03%18/May/15 22:45/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
10 12/May/15 11:31/~lp15/MLbook/StandardML.plist
9 13/May/15 02:22/~lp15/MLbook/first/programs/ParsePrint.ML
9 17/May/15 03:57/~lp15/papers/Workshop/kalvala.html
9 17/May/15 17:55/~lp15/papers/Workshop/staples.html
9 0.04%10/May/15 08:41/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
9 0.02%11/May/15 22:28/~lp15/papers/Isabelle/Goedel-logic.pdf
9 0.02%19/May/15 03:37/~lp15/papers/Workshop/papers/thompson.pdf
9 0.02%13/May/15 21:37/~lp15/Pages/harrison-real.pdf
9 17/May/15 14:33/~lp15/papers/Workshop/agerholm.html
9 0.03%17/May/15 04:34/~lp15/papers/Isabelle/sylow.pdf
9 0.70%18/May/15 22:22/~lp15/papers/Arith/FroCos-presentation.pdf
9 0.26%17/May/15 09:48/~lp15/Grants/arith-poster.pdf
9 0.18%18/May/15 20:30/~lp15/papers/Auth/ijcar2001-slides.pdf
8 19/May/15 03:15/~lp15/Grants/arith.html
8 0.01%16/May/15 18:32/~lp15/papers/Notes/strategy-slides.pdf
8 19/May/15 06:39/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
8 0.03%17/May/15 03:04/~lp15/papers/OLD.SETS/milner-ind-defs.pdf
8 0.31%18/May/15 05:22/~lp15/Grants/LEO-II/leo project poster.pdf
8 11/May/15 01:36/~lp15/papers/Workshop/thompson.html
8 0.01%17/May/15 13:06/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
8 0.41%18/May/15 14:58/~lp15/papers/Arith/Overcoming-slides.pdf
8 2.88%19/May/15 03:00/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
8 0.04%19/May/15 03:50/~lp15/Data/relevance/tptp-2007-03-13.tbz
8 0.05% 6/May/15 13:10/~lp15/papers/Reports/logics97.pdf
8 17/May/15 06:03/~lp15/papers/Reports/blast-slides.pdf
8 18/May/15 03:32/~lp15/Usage/images/
8 16/May/15 17:15/~lp15/MLbook/ERRATA.txt
8 13/May/15 23:44/~lp15/Sue/Cultures of Dance.html
7 0.01%18/May/15 15:59/~lp15/papers/Arith/FroCoS-2013-invited.pdf
7 15/May/15 08:37/~lp15/MLbook/first/ERRATA3.txt
7 0.51%19/May/15 03:10/~lp15/Data/ho-translations/Comb.tbz
7 12/May/15 08:58/~lp15/papers/Workshop/bednarczyk.txt
7 0.48%19/May/15 02:59/~lp15/Data/ho-translations/Abst.tbz
7 2.47%19/May/15 03:07/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
7 19/May/15 03:15/~lp15/Data/ho-translations/Theories.tbz
7 19/May/15 01:01/~lp15/Data/relevance/unfiltered-spass.txt
7 0.07%16/May/15 14:34/~lp15/Grants/arith-case.pdf
7 0.18%17/May/15 01:21/~lp15/papers/Arith/SNC2014-slides.pdf
7 0.01%10/May/15 17:59/~lp15/papers/Workshop/ayari.pdf
7 17/May/15 15:48/~lp15/papers/Workshop/wolff.html
6 0.04%16/May/15 21:21/~lp15/images/pilkington-full.jpg
6 16/May/15 23:28/~lp15/Grants/BeyondLinArith/auth-final.pdf
6 0.01%12/May/15 14:02/~lp15/papers/OLD.SETS/final.pdf
6 16/May/15 11:45/~lp15/Grants/UNITY/final.pdf
6 15/May/15 21:55/~lp15/papers/Workshop/heule.html
6  7/May/15 11:00/~lp15/Grants/SET/case.pdf
6 0.20%15/May/15 02:45/~lp15/Sue/Phd-Poster.pdf
6 30/Apr/15 09:06/~lp15/MLbook/first/programs/edits.txt
6 0.36%18/May/15 03:40/~lp15/papers/Isabelle/Goedel-slides.pdf
6 11/May/15 01:36/~lp15/papers/Workshop/paulson.html
6 0.01%18/May/15 14:39/~lp15/papers/Workshop/papers/matthews.pdf
6 0.39%17/May/15 12:45/~lp15/papers/Arith/ITP 2012 presentation.pdf
6 1.35%19/May/15 03:50/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
6 16/May/15 06:07/~lp15/papers/OLD.SETS/AC-slides.pdf
6 0.02%19/May/15 07:29/~lp15/papers/Reports/lamport-paulson-types.pdf
6 18/May/15 22:54/~lp15/Data/relevance/unfiltered-E.txt
27116.20%19/May/15 00:15[not listed: 109 files]