Email Archive: hol-info (read-only)

Re: [Hol-info] rigorous axiomatic geometry proof in HOL Light
From: John Harrison <John.Harrison@cl...> - 2012-05-03 18:13

 

Thread View

Thread Author Date
Re: [Hol-info] rigorous axiomatic geometry proof in HOL Light John Harrison <John.Harrison@cl...>
From: Bill Richter <richter@ma...> - 2012-04-26 04:19

From: Phil Scott <phil.scott@ed...> - 2012-04-26 09:20

From: John Harrison <John.Harrison@cl...> - 2012-04-26 19:31

From: Makarius <makarius@sk...> - 2012-04-26 21:38

From: Makarius <makarius@sk...> - 2012-04-26 22:02

From: Bill Richter <richter@ma...> - 2012-04-27 04:28

From: Paul Graunke <ptg@cc...> - 2012-04-28 06:56

From: Makarius <makarius@sk...> - 2012-04-28 12:19

From: John Harrison <John.Harrison@cl...> - 2012-05-02 22:59

From: John Harrison <John.Harrison@cl...> - 2012-05-02 23:00

From: Bill Richter <richter@ma...> - 2012-05-03 02:45

From: Makarius <makarius@sk...> - 2012-05-03 12:30

From: John Harrison <John.Harrison@cl...> - 2012-05-03 18:13

From: John Harrison <John.Harrison@cl...> - 2012-05-03 18:14

From: Freek Wiedijk <freek@cs...> - 2012-05-03 20:15

From: Makarius <makarius@sk...> - 2012-05-03 20:48

From: Bill Richter <richter@ma...> - 2012-05-04 04:19

From: Alexander Krauss <krauss@in...> - 2012-05-04 22:06

From: Bill Richter <richter@ma...> - 2012-05-05 04:09

From: Bill Richter <richter@ma...> - 2012-05-05 04:15

From: John Harrison <John.Harrison@cl...> - 2012-05-06 18:39

From: Bill Richter <richter@ma...> - 2012-05-07 00:29

From: John Harrison <John.Harrison@cl...> - 2012-05-07 02:11

From: Bill Richter <richter@ma...> - 2012-05-07 04:33

From: John Harrison <John.Harrison@cl...> - 2012-05-07 16:12

From: <woodcock@cs...> - 2012-05-07 21:05

From: Bill Richter <richter@ma...> - 2012-05-08 03:24

From: John Harrison <John.Harrison@cl...> - 2012-05-08 18:28

From: John Harrison <John.Harrison@cl...> - 2012-05-08 18:31

From: Bill Richter <richter@ma...> - 2012-05-09 02:43

From: Bill Richter <richter@ma...> - 2012-05-09 03:01

From: Bill Richter <richter@ma...> - 2012-05-09 03:50

From: Freek Wiedijk <freek@cs...> - 2012-05-09 09:28

From: Bill Richter <richter@ma...> - 2012-05-10 03:22

From: Bill Richter <richter@ma...> - 2012-05-10 08:03

From: Bill Richter <richter@ma...> - 2012-05-10 08:09

From: Bill Richter <richter@ma...> - 2012-05-10 08:12

From: John Harrison <John.Harrison@cl...> - 2012-05-10 16:04

From: Bill Richter <richter@ma...> - 2012-05-11 00:47

From: Bill Richter <richter@ma...> - 2012-05-11 06:09

From: John Harrison <John.Harrison@cl...> - 2012-05-11 15:59

From: Bill Richter <richter@ma...> - 2012-05-12 03:00

From: Bill Richter <richter@ma...> - 2012-05-12 03:03

From: Mark <mark@pr...> - 2012-05-12 17:27

From: John Harrison <John.Harrison@cl...> - 2012-05-12 22:51

From: John Harrison <John.Harrison@cl...> - 2012-05-12 22:54

From: Bill Richter <richter@ma...> - 2012-05-13 03:37

From: Ramana Kumar <ramana.kumar@gm...> - 2012-05-13 07:30

Attachments: Message as HTML     

From: Makarius <makarius@sk...> - 2012-05-13 11:58

From: Mark <mark@pr...> - 2012-05-13 13:26

From: Bill Richter <richter@ma...> - 2012-05-14 05:05

From: Bill Richter <richter@ma...> - 2012-05-15 02:53

From: Toal, Ray <Ray.Toal@lm...> - 2012-05-15 05:47

From: Vincent Aravantinos <vincent.aravantinos@gm...> - 2012-05-15 05:50

Attachments: Message as HTML     

From: Ramana Kumar <ramana.kumar@gm...> - 2012-05-15 05:52

Attachments: Message as HTML     

From: Freek Wiedijk <freek@cs...> - 2012-05-15 12:24

From: Bill Richter <richter@ma...> - 2012-05-15 18:59

From: John Harrison <John.Harrison@cl...> - 2012-05-15 20:24

From: John Harrison <John.Harrison@cl...> - 2012-05-15 20:25

From: Bill Richter <richter@ma...> - 2012-05-15 20:39

From: John Harrison <John.Harrison@cl...> - 2012-05-15 21:24

From: Bill Richter <richter@ma...> - 2012-05-16 02:18

From: Bill Richter <richter@ma...> - 2012-05-16 02:39

From: Bill Richter <richter@ma...> - 2012-05-16 03:35

From: Freek Wiedijk <freek@cs...> - 2012-05-16 09:08

From: John Harrison <John.Harrison@cl...> - 2012-05-16 19:54

From: John Harrison <John.Harrison@cl...> - 2012-05-16 19:56

From: Bill Richter <richter@ma...> - 2012-05-17 04:53

From: Bill Richter <richter@ma...> - 2012-05-17 05:05

From: Voelker, Norbert <norbert@es...> - 2012-05-17 15:49

From: Bill Richter <richter@ma...> - 2012-05-18 02:35

From: John Harrison <John.Harrison@cl...> - 2012-05-18 03:42

From: Bill Richter <richter@ma...> - 2012-05-19 00:39

From: Bill Richter <richter@ma...> - 2012-05-19 01:15

From: John Harrison <John.Harrison@cl...> - 2012-05-22 17:24

From: Bill Richter <richter@ma...> - 2012-05-23 04:56

From: Bill Richter <richter@ma...> - 2012-05-23 06:54

From: John Harrison <John.Harrison@cl...> - 2012-05-30 04:24

From: John Harrison <John.Harrison@cl...> - 2012-05-30 17:08

From: Bill Richter <richter@ma...> - 2012-05-31 03:44

From: Bill Richter <richter@ma...> - 2012-06-01 04:17

From: John Harrison <John.Harrison@cl...> - 2012-06-01 16:27

From: Bill Richter <richter@ma...> - 2012-06-05 03:54

From: Bill Richter <richter@ma...> - 2012-06-06 04:06

From: Bill Richter <richter@ma...> - 2012-06-07 06:49

From: Bill Richter <richter@ma...> - 2012-06-08 07:09

From: Bill Richter <richter@ma...> - 2012-06-09 06:12

From: Bill Richter <richter@ma...> - 2012-06-10 00:18

From: Bill Richter <richter@ma...> - 2012-06-12 04:20

From: Bill Richter <richter@ma...> - 2012-06-12 04:54

From: Bill Richter <richter@ma...> - 2012-06-12 05:00

From: Bill Richter <richter@ma...> - 2012-06-13 04:51

From: Bill Richter <richter@ma...> - 2012-06-16 04:17

From: Bill Richter <richter@ma...> - 2012-06-18 05:59

From: Bill Richter <richter@ma...> - 2012-06-20 05:35

From: Bill Richter <richter@ma...> - 2012-06-22 06:42

From: Bill Richter <richter@ma...> - 2012-06-26 06:49

From: Mark <mark@pr...> - 2012-06-27 08:22

From: Michael Norrish <michael.norrish@ni...> - 2012-06-27 10:22

From: Bill Richter <richter@ma...> - 2012-06-29 07:33

From: Bill Richter <richter@ma...> - 2012-06-30 08:26

From: Bill Richter <richter@ma...> - 2012-07-05 02:17

From: Ramana Kumar <ramana.kumar@gm...> - 2012-07-05 06:55

Attachments: Message as HTML     

From: Bill Richter <richter@ma...> - 2012-07-06 06:45

From: Ramana Kumar <ramana.kumar@gm...> - 2012-07-06 07:17

Attachments: Message as HTML     

From: Ramana Kumar <ramana.kumar@gm...> - 2012-07-06 07:21

Attachments: Message as HTML     

From: Save seecs <save.seecs@gm...> - 2012-07-06 11:54

Attachments: Message as HTML     

From: Mark <mark@pr...> - 2012-07-06 16:53

From: Bill Richter <richter@ma...> - 2012-07-08 03:52

From: Bill Richter <richter@ma...> - 2012-07-08 04:01

From: Michael Norrish <michael.norrish@ni...> - 2012-07-18 23:55

From: Bill Richter <richter@ma...> - 2012-07-19 03:04

From: Bill Richter <richter@ma...> - 2012-07-19 04:37

From: Michael Norrish <michael.norrish@ni...> - 2012-07-19 06:07

From: Freek Wiedijk <freek@cs...> - 2012-07-19 08:32

From: Bill Richter <richter@ma...> - 2012-07-20 07:21

From: Ramana Kumar <ramana.kumar@gm...> - 2012-07-20 07:48

Attachments: Message as HTML     

From: Bill Richter <richter@ma...> - 2012-07-20 09:39

From: Cris Perdue <cris@pe...> - 2012-07-20 18:17

Attachments: Message as HTML     

From: Bill Richter <richter@ma...> - 2012-07-20 19:01

From: Josef Urban <josef.urban@gm...> - 2012-07-20 20:17

From: Michael Norrish <michael.norrish@ni...> - 2012-07-20 22:15

From: Cris Perdue <cris@pe...> - 2012-07-20 22:21

Attachments: Message as HTML     

From: Michael Norrish <michael.norrish@ni...> - 2012-07-20 22:38

From: Bill Richter <richter@ma...> - 2012-07-21 03:31

From: Bill Richter <richter@ma...> - 2012-07-21 04:49

From: Ramana Kumar <ramana.kumar@gm...> - 2012-07-21 05:52

Attachments: Message as HTML     

From: Josef Urban <josef.urban@gm...> - 2012-07-21 09:17

From: Michael Norrish <michael.norrish@ni...> - 2012-07-21 09:18

From: Michael Norrish <michael.norrish@ni...> - 2012-07-21 09:26

From: Rob Arthan <rda@le...> - 2012-07-21 13:56

From: Bill Richter <richter@ma...> - 2012-07-22 09:39

From: Bill Richter <richter@ma...> - 2012-07-22 10:13

From: Josef Urban <josef.urban@gm...> - 2012-07-22 11:20

From: Bill Richter <richter@ma...> - 2012-07-22 21:28

From: Josef Urban <josef.urban@gm...> - 2012-07-23 08:35

From: Bill Richter <richter@ma...> - 2012-07-24 05:35

From: Josef Urban <josef.urban@gm...> - 2012-07-24 05:58

From: Freek Wiedijk <freek@cs...> - 2012-07-24 11:00

From: Freek Wiedijk <freek@cs...> - 2012-07-24 11:03

From: Freek Wiedijk <freek@cs...> - 2012-07-24 11:23

From: Bill Richter <richter@ma...> - 2012-07-25 06:35

From: Ramana Kumar <ramana.kumar@gm...> - 2012-07-25 06:52

Attachments: Message as HTML     

From: Bill Richter <richter@ma...> - 2012-07-26 06:50

From: Michael Norrish <michael.norrish@ni...> - 2012-07-26 10:28

From: Bill Richter <richter@ma...> - 2012-07-27 07:21

From: Rob Arthan <rda@le...> - 2012-07-28 12:15

From: Bill Richter <richter@ma...> - 2012-07-28 20:32

From: Bill Richter <richter@ma...> - 2012-07-29 06:28

From: Rob Arthan <rda@le...> - 2012-07-29 14:30

From: Bill Richter <richter@ma...> - 2012-07-30 08:31

From: Rob Arthan <rda@le...> - 2012-07-31 05:27

From: Bill Richter <richter@ma...> - 2012-07-31 08:40

From: Bill Richter <richter@ma...> - 2012-08-01 04:31

From: Bill Richter <richter@ma...> - 2012-08-01 05:01

From: Ramana Kumar <ramana.kumar@gm...> - 2012-08-01 06:08

Attachments: Message as HTML     

From: Ramana Kumar <ramana.kumar@gm...> - 2012-08-01 07:34

Attachments: Message as HTML     

From: Bill Richter <richter@ma...> - 2012-08-02 07:03

From: Ramana Kumar <ramana.kumar@gm...> - 2012-08-02 07:26

Attachments: Message as HTML     

From: Bill Richter <richter@ma...> - 2012-08-02 21:48

From: Bill Richter <richter@ma...> - 2012-08-03 03:43

From: Michael Norrish <michael.norrish@ni...> - 2012-08-03 04:06

From: Michael Norrish <michael.norrish@ni...> - 2012-08-03 04:49

From: Ramana Kumar <ramana.kumar@gm...> - 2012-08-03 06:55

Attachments: Message as HTML     

From: Bill Richter <richter@ma...> - 2012-08-05 07:56

From: Rob Arthan <rda@le...> - 2012-08-05 09:43

From: Bill Richter <richter@ma...> - 2012-08-05 10:49